germax26/TheHoTTGame
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • c93ca368b2 Updated hyperlinks. kl-i 2021-08-16 18:00:32 +0100
  • a90b98cc46 Renamed gitignore to .gitignore kl-i 2021-08-16 17:48:53 +0100
  • 8b40cfbf65 Added gitignore. kl-i 2021-08-16 17:44:57 +0100
  • c35e360247 Initial commit. kl-i 2021-08-16 17:31:20 +0100
  • 2735e5623b Edits to windows installation guide jlh 2021-08-11 17:16:07 +0100
  • 74d3c18c9f Started Installation/Windows.md. kl-i 2021-07-31 20:22:02 +0100
  • 3e77252ee7
         Update Quest1.md jlh 2021-07-30 11:27:08 +0100
  • e49f5a5717 Updated Trinitarianism/Quest2 jlh 2021-07-30 12:22:22 +0100
  • d60ad6a227 Fixed hint block in Trinitarianism/Quest2.md kl-i 2021-07-29 23:02:28 +0100
  • 064691b029 Checked Trinitarianism. kl-i 2021-07-29 22:55:16 +0100
  • 995c54894e Trinit/Quest2 added jlh 2021-07-29 20:43:09 +0100
  • 5fb4134f30 quest1 sigma types and div2 jlh 2021-07-28 18:02:29 +0100
  • 7009a7aded Continued isEven. kl-i 2021-07-24 13:43:27 +0100
  • 59aac27f8b Quest1 start jlh 2021-07-23 13:29:48 +0100
  • 785abeb9ab
         Delete lumpty.html jlh 2021-07-22 09:21:43 +0100
  • dfc794f05a lumpty jlh 2021-07-22 10:20:40 +0100
  • 89844e7113 Cleaned up Trinitarianism. Added Trinitarianism.Quest0Solutions.agda. kl-i 2021-07-21 17:36:34 +0100
  • 0cd65c6cd9 Cleaned up Trinitarianism.Quest0.agda kl-i 2021-07-21 17:28:13 +0100
  • 0ccb79bd40 trinit jlh 2021-07-21 17:33:08 +0100
  • 3f7f1c6fcf trinit jlh 2021-07-21 17:17:31 +0100
  • 6c9f228ade trinit jlh 2021-07-21 17:14:03 +0100
  • 82c561c5fc lagda trial jlh 2021-07-21 15:54:02 +0100
  • cb1795279f
         Update README.md jlh 2021-07-21 14:08:51 +0100
  • 7907f52702 README in folder trial jlh 2021-07-21 15:06:00 +0100
  • cd032ff482 lagda trial jlh 2021-07-21 15:00:07 +0100
  • 238a47397f Started Trinitarianism.AsTypes.Quest0. kl-i 2021-07-20 11:38:49 +0100
  • 7d9d13dc48
         Update Plan.org jlh 2021-07-19 19:03:32 +0100
  • 9a57d284f8
         Update README.md jlh 2021-07-19 19:02:47 +0100
  • ffca42f10f
         Update README.md jlh 2021-07-19 19:01:32 +0100
  • d7fe56e8c2 TheHoTTGame should be more usable now! jlh 2021-07-19 19:57:29 +0100
  • 55c0e7b8bb html export trial2 jlh 2021-07-19 18:34:51 +0100
  • b930e449e3 html export trial jlh 2021-07-19 18:33:17 +0100
  • 5e06eeb654 Trinitarianism, Types as Props jlh 2021-07-19 16:44:18 +0100
  • f32dde49e0 into md jlh 2021-07-19 10:42:45 +0100
  • bd73afd040 debrief added jlh 2021-07-16 12:46:01 +0100
  • 51f084b5b6 plan is well formed jlh 2021-07-16 12:37:51 +0100