Like any Haskell, it is purely functional, enjoys a strong static type system with global type inference and non-strict - also known as lazy - evaluation. Frege compiles to Java, runs on the JVM, and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results