https://bitbucket.org/akaposi/prop
Revision 9a8448310473f2c95e93883cd1c9cf27dc2ecb2b authored by Ambrus Kaposi on 26 April 2022, 12:27:14 UTC, committed by Ambrus Kaposi on 26 April 2022, 12:27:14 UTC
1 parent f4918f4
History
Tip revision: 9a8448310473f2c95e93883cd1c9cf27dc2ecb2b authored by Ambrus Kaposi on 26 April 2022, 12:27:14 UTC
stuff
Tip revision: 9a84483
File Mode Size
Const.agda -rw-r--r-- 1011 bytes
Core.agda -rw-r--r-- 8.2 KB
Decl.agda -rw-r--r-- 23.8 KB
Func.agda -rw-r--r-- 4.9 KB
Props.agda -rw-r--r-- 6.5 KB
Sigma.agda -rw-r--r-- 3.1 KB

back to top