Name		Name	Last commit message	Last commit date
parent directory ..
ElimNewtype.hs		ElimNewtype.hs
Interp.hs		Interp.hs
Mono.hs		Mono.hs
README.md		README.md
Specialize.hs		Specialize.hs
Specialize2.hs		Specialize2.hs
Syntax.hs		Syntax.hs
Typecheck.hs		Typecheck.hs

README.md

The L0 Language

This is an enriched surface language that includes various user conveniences. Most notably, it is higher order.