https://github.com/rolyp/proof-relevant-pi
Revision cda2940b7b50e613535e36e697d79111a6b80028 authored by Roly Perera on 02 June 2016, 10:22:54 UTC, committed by Roly Perera on 02 June 2016, 10:22:54 UTC
1 parent 69bc469
History
Tip revision: cda2940b7b50e613535e36e697d79111a6b80028 authored by Roly Perera on 02 June 2016, 10:22:54 UTC
source/target -> src/tgt
Tip revision: cda2940
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-- 830 bytes
ProofRelevantPiCommon.agda -rw-r--r-- 1.3 KB
README.md -rw-r--r-- 3.8 KB
Ren.agda -rw-r--r-- 6.6 KB
Transition.agda -rw-r--r-- 3.3 KB

README.md

back to top