Name		Name	Last commit message	Last commit date
parent directory ..
Lfmtp19.hs		Lfmtp19.hs
README.md		README.md
RecAlg.hs		RecAlg.hs
RecType2.ced		RecType2.ced
bool.ced		bool.ced
cast.ced		cast.ced
cast2.ced		cast2.ced
lftmp19.ced		lftmp19.ced
nat.ced		nat.ced
top.ced		top.ced
view.ced		view.ced

README.md

Cedille version

This works with the (frozen) master branch of Cedille 1.x.

Cedille Files

The main file is lfmtp.ced. The others are library files.

Haskell Files

The main file is Lfmtp19.ced.