Name		Name	Last commit message	Last commit date
parent directory ..
CedilleCore.hs		CedilleCore.hs
Check.hs		Check.hs
Makefile		Makefile
Norm.hs		Norm.hs
Parser.hs		Parser.hs
README.md		README.md
Trie.hs		Trie.hs
Types.hs		Types.hs

README.md

Cedille Core Checker v1.0

Index:

Check.hs Type checking
CedilleCore.hs Main I/O
Norm.hs (Head-)Normalizing, erasing, and substituting functions
Parser.hs Parser
Trie.hs Trie datatype and related functions
Types.hs Definitions of fundamental types for terms/types/kinds