Calling Frege from Java (from release 3.24 on)

This guide explains how to call code generated by the Frege compiler from Java. It is valid for releases since 3.24.

Frege Run Time System

The Frege Run Time System consists of a handfull of interfaces and abstract classes, which are used to implement laziness, function types and higher kinded types, as explained below.