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

Commit Graph

  • 4161f9546b
         Add README.md main germax26 2025-07-21 19:25:45 +1000
  • e6afea6d88
         Complete 1FundamentalGroup/Quest1.agda germax26 2025-07-21 17:44:34 +1000
  • 553d41a5a4
         Complete 1Fundamentalgroup/Quest0.agda germax26 2025-07-21 17:02:13 +1000
  • ff0a653c0d
         Merge pull request #19 from SwampertX/patch-1 jlh 2024-04-09 15:46:23 -0400
  • 17b53705be
         Fix tiny typo in Quest3.agda Tan Yee Jian 2024-04-05 18:28:48 +0800
  • d880d951ae
         Merge pull request #18 from iblech/patch-1 jlh 2024-01-19 21:08:11 -0500
  • 622aa74d91
         compatibility with recent cubical Ingo Blechschmidt 2024-01-19 15:09:58 +0100
  • 0b12af3126
         Delete 1FundamentalGroup/images directory jlh 2022-04-17 10:29:30 +0100
  • 7045273804
         Delete 1FundamentalGroup/Shelf directory jlh 2022-04-17 10:29:20 +0100
  • 7be44a2e96
         Delete 0Trinitarianism/images directory jlh 2022-04-17 10:28:53 +0100
  • d63758972b
         Delete 0Trinitarianism/bin directory jlh 2022-04-17 10:28:26 +0100
  • 818d8dbb52
         Merge pull request #15 from ncfavier/no-_build jlh 2022-04-17 10:23:49 +0100
  • ec662e7145
         remove _build and .agdai files Naïm Favier 2022-04-17 10:25:55 +0200
  • d10e5805a2
         Update Quest4Solutions.agda jlh 2022-03-30 15:55:34 +0100
  • a55e3bfc57
         Update README.rst jlh 2022-02-22 09:57:05 +0000
  • ad9b98357f
         Merge pull request #12 from o1lo01ol1o/nix jlh 2022-01-12 23:01:10 +0000
  • 69b27911ad use latest cubical o1lo01ol1o 2022-01-12 10:43:48 +0000
  • 6495198a15 add niv'd deps o1lo01ol1o 2022-01-12 10:43:40 +0000
  • e095fbaf4b
         fix missing definition in solutions Russell McClellan 2021-12-04 20:07:03 -0500
  • e72c0cb434 fix Jlh18 2021-12-03 14:01:21 +0000
  • 289b5c474f deleted Installation, website has all instructions Jlh18 2021-12-02 17:58:19 +0000
  • 2d85b0f589 nix install Merge branch 'o1lo01ol1o-nix' Jlh18 2021-12-02 17:48:48 +0000
  • 97030e9c15 Add nix install instructions o1lo01ol1o 2021-12-02 11:25:31 +0000
  • 62e2928693 Create shell.nix o1lo01ol1o 2021-12-02 10:54:30 +0000
  • 7c525d69c1
         Update README.rst jlh 2021-11-25 13:53:48 +0000
  • d1645f6c7d
         Update README.rst jlh 2021-11-25 13:47:36 +0000
  • 5727c48126
         fixed link to site jlh 2021-11-25 13:30:00 +0000
  • 5a8f86f6c9 created 0Trinitarianism.Quest5 Jlh18 2021-11-16 14:55:22 +0000
  • a2157edf1e fixed import issues Jlh18 2021-11-16 14:54:06 +0000
  • 7b1de5d2dd added quest 3 preamble import Jlh18 2021-11-16 12:33:12 +0000
  • ff2594dd5e added quest5 solutions Jlh18 2021-11-13 23:18:44 +0000
  • 9a2ddfed2a finished rewind Jlh18 2021-11-13 00:43:32 +0000
  • 81dbe9004c finished rewind Jlh18 2021-11-13 00:42:58 +0000
  • 0ffbdaf39c extend solutions for fund / Q3 using trin / Q5 Jlh18 2021-11-07 12:54:58 +0000
  • 8afbf9d4c2 edits to trinitarianism/quest 5 Jlh18 2021-11-05 23:31:43 +0000
  • eb5587b25f added arc0/quest5 and arc1/quest3 Jlh18 2021-11-01 00:07:28 +0000
  • 334bb6eace added 1fundamentalgroup quest 3 Jlh18 2021-10-30 20:58:27 +0100
  • 5ff2b6837e added quest 3 Jlh18 2021-10-30 20:56:10 +0100
  • 4a2e69d92d added quest 4 and preamble Jlh18 2021-10-30 19:02:51 +0100
  • 6b97d4b790 df Jlh18 2021-10-30 18:51:43 +0100
  • 4d5a2ded5a added cheating (cubical) version of funExt Jlh18 2021-10-25 23:16:53 +0100
  • eab9a55318 Path type on × type is a pain Jlh18 2021-10-24 22:42:28 +0100
  • c1c23df3d0 Path ≡ Id done Jlh18 2021-10-23 22:03:39 +0100
  • 0b0693080a endPtOfTrue Jlh18 2021-10-21 14:31:36 +0100
  • ef75329b74 groupid laws Jlh18 2021-10-19 16:58:41 +0100
  • d36e0c8a97 added quest 4 Jlh18 2021-10-14 13:40:21 +0100
  • f131652c14 quest 2 ready Jlh18 2021-10-12 20:00:31 +0100
  • 923dfbd432 removed J exercises from quest 2 Jlh18 2021-10-10 14:29:26 +0100
  • a6163a19eb edits to quest 2 and shelf Jlh18 2021-10-10 14:28:23 +0100
  • 324568407a quest 2 complete Jlh18 2021-10-07 22:57:21 +0100
  • be2f38fc06 edits to quest2 Jlh18 2021-10-05 23:50:35 +0100
  • e3436705de groupoid laws in quest2 Jlh18 2021-10-03 18:20:44 +0100
  • ee0f734da2 added Z=NuN and Groupoid laws exercises in quest2 Jlh18 2021-10-03 15:55:33 +0100
  • ccb193a881 changed transport to pathToFun Jlh18 2021-10-02 16:41:34 +0100
  • 9268cc2b51 moved quest 2 to quest 1 Jlh18 2021-10-02 15:14:02 +0100
  • 8c8c1618d1 quest2 -> quest1 Jlh18 2021-10-02 14:59:07 +0100
  • 87834c2ae0 put quest0 sie quests into quest0. Jlh18 2021-10-02 13:22:36 +0100
  • 12c7044889 added Iso symbol and edits on trinitarianis/quest3 Jlh18 2021-10-02 12:26:49 +0100
  • 734b1a6a61 removed md files in trinitarianism Jlh18 2021-10-02 11:47:49 +0100
  • 56834bcd40 quest2 edits Jlh18 2021-09-29 12:51:06 +0100
  • 40ba57887c added quest2solutions.agda Jlh18 2021-09-28 16:05:09 +0100
  • ddfecdd209 quest1 prepped with solutions added Jlh18 2021-09-28 14:40:40 +0100
  • d0dd1d79f1 md files removed and README.rst added Jlh18 2021-09-27 17:11:54 +0100
  • 31d9f67af6 md files removed and readme.rst added Jlh18 2021-09-27 17:07:27 +0100
  • b32ce74c65 ignore headers added Jlh18 2021-09-27 16:01:48 +0100
  • 72be8e3e42 Added side quests and preambles for side quests Jlh18 2021-09-27 16:00:26 +0100
  • 166142b14c added side quest on different defs of empty Jlh18 2021-09-27 14:01:09 +0100
  • 3fe0981c07 added Quest0SideQuests/TrueNotFalse.agda Jlh18 2021-09-27 11:45:56 +0100
  • a12e754c23 Added Quest1SideQuest Jlh18 2021-09-26 15:12:01 +0100
  • 400a5ddd1e quest0 edited once more Jlh18 2021-09-23 16:34:37 +0100
  • 61614ee400 edits to feedbackG Jlh18 2021-09-23 13:00:41 +0100
  • 62aeed9d60 edits to feedbackG Jlh18 2021-09-23 13:00:10 +0100
  • 03ca8bb437 Preambles put up for Quests0,1,2; feedbackG edits Jlh18 2021-09-23 12:10:25 +0100
  • 70fd1aa024 Merge branch 'main' of https://github.com/thehottgame/TheHoTTGame kl-i 2021-09-22 11:26:03 +0100
  • 1dee3f0f43 Added feedbackG.md kl-i 2021-09-22 11:24:08 +0100
  • df5d7c381b
         Update README.md jlh 2021-09-22 09:52:41 +0100
  • 3c7d924b86 edits to 1FundamentalGroup/Quest2 Jlh18 2021-09-22 09:58:48 +0100
  • 6a3bf93dd8 Quest2/Part0,Part1 finished Jlh18 2021-09-21 13:02:20 +0100
  • 0b24937e0c Added 1FundamentalGroup/Quest2Part0.md kl-i 2021-09-20 15:11:10 +0100
  • 7e1e1f2064
         Update Quest0Part3.md jlh 2021-09-19 16:32:14 +0100
  • f2ddce4201
         Update Quest0Part2.md jlh 2021-09-19 16:30:50 +0100
  • c16fb9497d
         Update Quest0Part1.md jlh 2021-09-19 16:27:22 +0100
  • 5c790ccf25 Finished 1FundamentalGroup/Quest0, edits Quest1/1 Jlh18 2021-09-19 17:24:28 +0100
  • 16f39b5bf6 1FundamentalGroup/Quest1 edits Jlh18 2021-09-19 13:47:41 +0100
  • c2c37e796b Added Quest1Part0.md kl-i 2021-09-16 16:20:35 +0100
  • a4ac61891e
         Update pi1S1.md jlh 2021-09-16 14:33:41 +0100
  • fbbf87bba9
         Update Quest0Part0.md jlh 2021-09-16 11:26:30 +0100
  • d3e5063e5f edit 1FundamentalGroup/Quest0Part2 Jlh18 2021-09-16 12:24:04 +0100
  • 6ae6455796 Cleanup of 1FundamentalGroup/Quest0Part0 Jlh18 2021-09-16 12:18:01 +0100
  • 041367daa0 Added Quest0Part2.md, Quest0Part3.md kl-i 2021-09-15 19:15:12 +0100
  • 691ecb2241 Added Quest0Part1.md kl-i 2021-09-15 16:50:44 +0100
  • 79db381ac1 Edited 1FundamentalGroup/Quest0.agda Jlh18 2021-09-15 11:54:35 +0100
  • 682017ab75 added 1FundamentalGroup Jlh18 2021-09-14 18:12:03 +0100
  • bc6622c045 Updated Installation/Mac.md kl-i 2021-08-18 02:27:45 +0100
  • 8769e1295c Updated Installation/Mac.md kl-i 2021-08-18 00:55:31 +0100
  • 7b80a9732d Updated Installation/Mac.md kl-i 2021-08-18 00:26:35 +0100
  • ad80da33e6 Updated many things. kl-i 2021-08-16 20:07:25 +0100
  • 6ff550969a Renamed quest2 to quest3 kl-i 2021-08-16 18:30:34 +0100
  • 35f0774d46 moved furniature Jlh18 2021-08-16 19:08:50 +0100
  • c22a5777d3 plan change Jlh18 2021-08-16 19:05:17 +0100