By dotCore
via code.google.com
Submitted: Feb 10 2013 / 02:00
Frege is a non-strict, pure functional programming language in the spirit of Haskell. It enjoys a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that.
Add your comment