17 Sep
2016
17 Sep
'16
7:31 a.m.
Am 17.09.2016 um 11:35 schrieb Bardur Arantsson:
On 2016-09-17 10:50, Joachim Durchholz wrote:
Do you know whether Frege (https://github.com/Frege) is a viable option for that?
Not in the least last time I checked. It's missing far too many of the extensions that almost everybody uses as a matter of course.
Pity. Any idea how hard it would be to make it compile ghc?