|
AsProps
|
lagda trial
|
2021-07-21 15:00:07 +01:00 |
|
AsTypes
|
Started Trinitarianism.AsTypes.Quest0.
|
2021-07-20 11:38:49 +01:00 |
|
AsCats.agda
|
TheHoTTGame should be more usable now!
|
2021-07-19 19:57:29 +01:00 |
|
Quest0.agda
|
lagda trial
|
2021-07-21 15:00:07 +01:00 |
|
Quest0Preamble.agda
|
lagda trial
|
2021-07-21 15:00:07 +01:00 |
|
README.md
|
Update README.md
|
2021-07-21 14:08:51 +01:00 |
