https://github.com/rolyp/proof-relevant-pi
History
Tip revision: cb9d850c0248305ec64b35de0c1ea67f7ab28b69 authored by Roly Perera on 11 September 2016, 12:44:52 UTC
Tweak layout.
Tip revision: cb9d850
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.8 KB
Ren.agda -rw-r--r-- 6.4 KB
Transition.agda -rw-r--r-- 3.4 KB

README.md

back to top