23 May
2016
23 May
'16
11:24 a.m.
On 05/22/2016 10:16 AM, David Escobar wrote:
What about Frege? Haskell on the JVM with interop to Java libraries...
It doesn't support MPTCs, Type families, FunDeps, etc. etc. (I'm not trying to rag on the project. Supporting all of the now-almost-mandatory exensions in GHC is a highly non-trivial undertaking.) Regards,