ff92947 | Jasper Hugunin | 29 October 2020, 00:03:35 UTC | Add tag information | 29 October 2020, 00:03:35 UTC |
0bac6ea | Jasper Hugunin | 28 October 2020, 23:59:09 UTC | Add section on canonicity | 28 October 2020, 23:59:09 UTC |
8a968e2 | Jasper Hugunin | 28 October 2020, 15:25:29 UTC | Bootstrap the general construction | 28 October 2020, 15:25:29 UTC |
15deeac | Jasper Hugunin | 26 October 2020, 18:22:30 UTC | Add a few more internal hyperlinks | 26 October 2020, 18:22:30 UTC |
1c07a75 | Jasper Hugunin | 26 October 2020, 03:11:40 UTC | Incorporate comments from Jon | 26 October 2020, 03:11:40 UTC |
80e90ac | Jasper Hugunin | 25 October 2020, 00:47:11 UTC | Add directions for compiling to the code subdirectory README | 25 October 2020, 01:00:34 UTC |
b0c4f54 | Jasper Hugunin | 25 October 2020, 00:00:13 UTC | Add simple README to top level | 25 October 2020, 00:00:13 UTC |
70fb430 | Jasper Hugunin | 24 October 2020, 23:50:40 UTC | Fill in missing references | 24 October 2020, 23:50:40 UTC |
c8fbaaa | Jasper Hugunin | 24 October 2020, 05:23:13 UTC | Write conclusion | 24 October 2020, 05:23:13 UTC |
49c0fd8 | Jasper Hugunin | 24 October 2020, 00:07:28 UTC | Fill out General Construction section | 24 October 2020, 00:07:28 UTC |
5feb5b9 | Jasper Hugunin | 21 October 2020, 17:23:47 UTC | Add short README for code | 21 October 2020, 17:23:47 UTC |
cc89f98 | Jasper Hugunin | 21 October 2020, 17:09:44 UTC | Add choice constructor, and show bootstrapping is possible | 21 October 2020, 17:20:01 UTC |
854b9a0 | Jasper Hugunin | 20 October 2020, 05:20:19 UTC | Add notation for lambda functions | 20 October 2020, 05:20:19 UTC |
8fb8ae0 | Jasper Hugunin | 20 October 2020, 04:52:43 UTC | Refactor some code | 20 October 2020, 04:52:43 UTC |
67262f8 | Jasper Hugunin | 20 October 2020, 00:39:34 UTC | Simple build setup | 20 October 2020, 00:39:34 UTC |
ad52b09 | Jasper Hugunin | 19 October 2020, 02:48:22 UTC | Define the construction for a whole universe of inductive types | 19 October 2020, 02:48:22 UTC |
750721c | Jasper Hugunin | 18 October 2020, 00:15:04 UTC | Define natural numbers from W in Coq | 18 October 2020, 00:15:04 UTC |
87d001e | Jasper Hugunin | 17 October 2020, 23:54:54 UTC | First part of paper | 17 October 2020, 23:54:54 UTC |