Warning This is software was made for EDUCATIONAL/RESEARCH purpose only. Do not use in production environments. Support is limited This repository contains the source code of my master's thesis, ...
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