https://github.com/rolyp/proof-relevant-pi
Tip revision: 71fd55b6d7718489f54455330716ac8a9ac56e07 authored by Roly Perera on 03 January 2016, 22:04:29 UTC
precise-cofinality merge will be 0.2 release. Migrate release notes from paper to agda repo.
precise-cofinality merge will be 0.2 release. Migrate release notes from paper to agda repo.
Tip revision: 71fd55b
| File | Mode | Size |
|---|---|---|
| Action | ||
| Braiding | ||
| Proc | ||
| Ren | ||
| 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 |
| ProofRelevantPi.agda | -rw-r--r-- | 882 bytes |
| README.md | -rw-r--r-- | 3.5 KB |
| Ren.agda | -rw-r--r-- | 6.1 KB |
| SharedModules.agda | -rw-r--r-- | 1.3 KB |
| Transition.agda | -rw-r--r-- | 3.3 KB |
