Frege is an implementation of Haskell 2010 for the Java Virtual Machine.
Haskell is a pure functional, statically typed programming language with non-strict evaluation. It is specified in detail in The Haskell 2010 Report.
In the following quick reference, things are not explained thoroughly. Instead, the motto is facts, facts, facts. Often just examples are being given.