https://github.com/rolyp/proof-relevant-pi
Revision 337214d42719291abe4a8b22e111ae9b1e7b73a1 authored by Roly Perera on 09 May 2016, 11:34:22 UTC, committed by Roly Perera on 09 May 2016, 11:34:22 UTC
1 parent 5420c87
Tip revision: 337214d42719291abe4a8b22e111ae9b1e7b73a1 authored by Roly Perera on 09 May 2016, 11:34:22 UTC
Generalise swap-involutive to shift under an arbitrary context.
Generalise swap-involutive to shift under an arbitrary context.
Tip revision: 337214d
| 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.3 KB |
| Ren.agda | -rw-r--r-- | 6.6 KB |
| Transition.agda | -rw-r--r-- | 3.3 KB |
Computing file changes ...
