https://github.com/rolyp/proof-relevant-pi
History
Tip revision: 7667f0a1a8c1864b5e06a59d00b1ef0029fb59da authored by Roly Perera on 04 July 2015, 17:50:32 UTC
Inline Properties module for now.
Tip revision: 7667f0a
File Mode Size
Action
Proc
Ren
StructuralCong
Transition
.gitignore -rw-r--r-- 8 bytes
Action.agda -rw-r--r-- 1.0 KB
Name.agda -rw-r--r-- 550 bytes
Proc.agda -rw-r--r-- 669 bytes
README.md -rw-r--r-- 380 bytes
Ren.agda -rw-r--r-- 6.1 KB
SharedModules.agda -rw-r--r-- 1.2 KB
Transition.agda -rw-r--r-- 3.3 KB

README.md

back to top