Commit message (Expand) | Author | Age | |
---|---|---|---|
* | agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a | Ingo Blechschmidt | 2021-12-13 |
* | Agda cubical 2.6.2 fix (#131280) | Guilherme Silva | 2021-07-24 |
* | agdaPackages.cubical: 0.2 -> 0.3pred5030a9 | Shea Levy | 2021-07-23 |
* | agdaPackages.cubical: init at 0.2 (#76994) | Ryan Orendorff | 2020-05-19 |