An implementation of MLF

This page describes an (ongoing) new prototype implementation of MLF.

The prototype implements the elaboration of source terms into the fully explicitly-typed terms in xMLF. It also includes the higher-order polymorphism of MLFω.

The prototype is available under the Cecill-C LICENSE.

Download (or just see the README file).