jlh
|
dfc794f05a
|
lumpty
|
2021-07-22 10:20:40 +01:00 |
|
kl-i
|
89844e7113
|
Cleaned up Trinitarianism. Added Trinitarianism.Quest0Solutions.agda.
|
2021-07-21 17:36:34 +01:00 |
|
kl-i
|
0cd65c6cd9
|
Cleaned up Trinitarianism.Quest0.agda
|
2021-07-21 17:28:13 +01:00 |
|
jlh
|
0ccb79bd40
|
trinit
|
2021-07-21 17:33:08 +01:00 |
|
jlh
|
3f7f1c6fcf
|
trinit
|
2021-07-21 17:17:31 +01:00 |
|
jlh
|
6c9f228ade
|
trinit
|
2021-07-21 17:14:03 +01:00 |
|
jlh
|
82c561c5fc
|
lagda trial
|
2021-07-21 15:54:02 +01:00 |
|
jlh
|
cb1795279f
|
Update README.md
|
2021-07-21 14:08:51 +01:00 |
|
jlh
|
7907f52702
|
README in folder trial
|
2021-07-21 15:06:00 +01:00 |
|
jlh
|
cd032ff482
|
lagda trial
|
2021-07-21 15:00:07 +01:00 |
|
kl-i
|
238a47397f
|
Started Trinitarianism.AsTypes.Quest0.
|
2021-07-20 11:38:49 +01:00 |
|
jlh
|
7d9d13dc48
|
Update Plan.org
|
2021-07-19 19:03:32 +01:00 |
|
jlh
|
9a57d284f8
|
Update README.md
|
2021-07-19 19:02:47 +01:00 |
|
jlh
|
ffca42f10f
|
Update README.md
|
2021-07-19 19:01:32 +01:00 |
|
jlh
|
d7fe56e8c2
|
TheHoTTGame should be more usable now!
|
2021-07-19 19:57:29 +01:00 |
|
jlh
|
55c0e7b8bb
|
html export trial2
|
2021-07-19 18:34:51 +01:00 |
|
jlh
|
b930e449e3
|
html export trial
|
2021-07-19 18:33:17 +01:00 |
|
jlh
|
5e06eeb654
|
Trinitarianism, Types as Props
|
2021-07-19 16:44:18 +01:00 |
|
jlh
|
f32dde49e0
|
into md
|
2021-07-19 10:42:45 +01:00 |
|
jlh
|
bd73afd040
|
debrief added
|
2021-07-16 12:46:01 +01:00 |
|
jlh
|
51f084b5b6
|
plan is well formed
|
2021-07-16 12:37:51 +01:00 |
|