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
Tip revision: 9a8448310473f2c95e93883cd1c9cf27dc2ecb2b authored by Ambrus Kaposi on 26 April 2022, 12:27:14 UTC
stuff
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 |
Computing file changes ...