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
History
Tip revision: 337214d42719291abe4a8b22e111ae9b1e7b73a1 authored by Roly Perera on 09 May 2016, 11:34:22 UTC
Generalise swap-involutive to shift under an arbitrary context.
Tip revision: 337214d
File Mode Size
Proc.agda -rw-r--r-- 6.0 KB
Transition.agda -rw-r--r-- 4.3 KB

back to top