https://github.com/dlicata335/hott-agda
History
Tip revision: 0b901865eb7ec50afa79828e34a72be623281784 authored by Dan Licata on 04 October 2013, 01:18:10 UTC
pinsn code for the paper
Tip revision: 0b90186

README

back to top