https://github.com/rolyp/proof-relevant-pi
Revision 64c86002b9c00aad9c04fc38a0e2f5d31d877e75 authored by Roly Perera on 05 October 2016, 21:43:13 UTC, committed by Roly Perera on 05 October 2016, 21:43:13 UTC
1 parent 211d9e4
History
Tip revision: 64c86002b9c00aad9c04fc38a0e2f5d31d877e75 authored by Roly Perera on 05 October 2016, 21:43:13 UTC
Update README.
Tip revision: 64c8600
File Mode Size
Action
Braiding
Proc
Ren
Transition
.gitignore -rw-r--r-- 8 bytes
Action.agda -rw-r--r-- 1.1 KB
Name.agda -rw-r--r-- 620 bytes
Proc.agda -rw-r--r-- 677 bytes
ProofRelevantPi.agda -rw-r--r-- 793 bytes
ProofRelevantPiCommon.agda -rw-r--r-- 1.3 KB
README.md -rw-r--r-- 3.9 KB
Ren.agda -rw-r--r-- 6.4 KB
Transition.agda -rw-r--r-- 3.4 KB

README.md

back to top