https://github.com/rolyp/proof-relevant-pi
History
Tip revision: 64c86002b9c00aad9c04fc38a0e2f5d31d877e75 authored by Roly Perera on 05 October 2016, 21:43:13 UTC
Update README.
Tip revision: 64c8600
File Mode Size
Ren.agda -rw-r--r-- 3.8 KB

back to top