aboutsummaryrefslogtreecommitdiff
path: root/mltt/core (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-06-231. Put universe level parameters first in automatic term definitions. 2. Add ↵Josh Chen4-10/+22
debugging to typechecker
2021-04-17Small fix: extraneous variableJosh Chen1-1/+1
2021-04-10small renameJosh Chen1-3/+3
2021-01-31rename things + some small changesJosh Chen16-0/+3518