Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Final commit before first release | Josh Chen | 2018-09-12 | 1 | -1/+1 |
| | |||||
* | Some final touchups before release 0.1 for the MS thesis | Josh Chen | 2018-09-12 | 1 | -1/+3 |
| | |||||
* | Add the univalence axiom | Josh Chen | 2018-09-11 | 1 | -4/+64 |
| | |||||
* | Running into trouble with the polymorphic identity function | Josh Chen | 2018-09-11 | 1 | -11/+55 |
| | |||||
* | Implementing univalence | Josh Chen | 2018-09-11 | 1 | -0/+71 |