https://github.com/rolyp/proof-relevant-pi
Revision c1fdd5d4266e96ab6d0adbdeee702424cb2bbdbb authored by Roly Perera on 09 May 2016, 11:36:54 UTC, committed by Roly Perera on 09 May 2016, 11:36:54 UTC
1 parent 337214d
Tip revision: c1fdd5d4266e96ab6d0adbdeee702424cb2bbdbb authored by Roly Perera on 09 May 2016, 11:36:54 UTC
Generalise to +-preserves-involutivity.
Generalise to +-preserves-involutivity.
Tip revision: c1fdd5d
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 ...