https://github.com/rolyp/proof-relevant-pi
Tip revision: 7667f0a1a8c1864b5e06a59d00b1ef0029fb59da authored by Roly Perera on 04 July 2015, 17:50:32 UTC
Inline Properties module for now.
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 |