less prototype, less bad code implementation of CCHM type theory

Amélia Liao ec01798d27 Major refactoring of intro.tt + π₁(S¹)		3 years ago
src	Major refactoring of intro.tt + π₁(S¹)	3 years ago
.gitignore	initial commit w/ lexer & parser	4 years ago
LICENSE	initial commit w/ lexer & parser	4 years ago
README.md	initial commit w/ lexer & parser	4 years ago
Setup.hs	Fixes to composition of HITs	3 years ago
cubical.cabal	Major refactoring of intro.tt + π₁(S¹)	3 years ago
hie.yaml	initial commit w/ lexer & parser	4 years ago
intro.tt	Major refactoring of intro.tt + π₁(S¹)	3 years ago
stack.yaml	Add strict equality	3 years ago
stack.yaml.lock	Add strict equality	3 years ago

cubical