summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--CTT.hs26594logplain
-rw-r--r--Concrete.hs9242logplain
-rw-r--r--Eval.hs38337logplain
-rw-r--r--Exp.cf1775logplain
d---------Exp66logplain
-rw-r--r--LICENSE1102logplain
-rw-r--r--Main.hs6290logplain
-rw-r--r--Makefile351logplain
-rw-r--r--Pretty.hs711logplain
-rw-r--r--README.md10089logplain
-rw-r--r--Setup.hs586logplain
-rw-r--r--TypeChecker.hs7713logplain
-rw-r--r--cubical.cabal1313logplain
-rw-r--r--cubical.el1947logplain
d---------examples1610logplain