Skip to content
Misc ramblings
Agda TeX Makefile
Branch: master
Clone or download
Latest commit 0b0d0ea Oct 23, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
agda Order, order! Oct 23, 2019
notes Comment on extrinsic vs intrinsic Oct 22, 2019
talks/fata_intro Order, order! Oct 23, 2019
.gitignore Add Guillaume Allais' contribution Oct 15, 2019
You can’t perform that action at this time.