| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Organize this commit as a backup of the work on type inference done so far; ↵ | Josh Chen | 2019-02-11 | 1 | -22/+24 |
| | | | | | learnt that I probably need to take a different approach. In particular, should first make the constants completely monomorphic, and then work on full proper type inference, rather than the heuristic approach taken here. | ||||
| * | Renaming | Josh Chen | 2018-09-19 | 1 | -0/+43 |
 |
index : Isabelle-HoTT | |
| trying to make Isabelle/HoTT work with Isabelle 2021-1 |
| aboutsummaryrefslogtreecommitdiff |