@hackage Feval1.0.0.0

Evaluation using F-Algebras

Feval is a statically typed functional programming language that uses f-algebras as opposed to classic recursion to solve the problem of evaluation and typechecking, which allows the compiler to perform better optimizations.