Revision 64c86002b9c00aad9c04fc38a0e2f5d31d877e75 authored by Roly Perera on 05 October 2016, 21:43:13 UTC, committed by Roly Perera on 05 October 2016, 21:43:13 UTC
1 parent 211d9e4
History
File Mode Size
Proc.agda -rw-r--r-- 5.9 KB
Transition.agda -rw-r--r-- 4.2 KB

back to top