Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package alonzo
Alonzo
STLC type system
Build
$ dune build
$ dune exec alonzo lib/test.alonzoSTLC
- A Formulation of the Simple Theory of Types [Church]
- An overview of type theories [Guallart]
Credits
- Oleh Marakhovskyi