michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • ecb1a30f3a
         Fixed Makefile Wen Kokke 2018-01-28 10:13:01 +0000
  • 0a761e5680
         Added cleanup before deployment Wen Kokke 2018-01-28 10:02:54 +0000
  • 5a53d7d9b1
         Fixed makefile Wen Kokke 2018-01-28 09:53:24 +0000
  • 5bfc9b49a6
         Fixed Makefile Wen Kokke 2018-01-28 09:43:02 +0000
  • 739b2497ee
         Fixed Makefile Wen Kokke 2018-01-28 02:24:18 +0000
  • c45c895c62
         Added support for Travis deploying to GitHub Pages Wen Kokke 2018-01-28 01:55:08 +0000
  • 106508f81f
         Make better use of Travis caching Wen Kokke 2018-01-28 01:45:43 +0000
  • 5411002ca0
         Added standard library to Travis Wen Kokke 2018-01-28 01:24:42 +0000
  • 418d2f0d94
         Fixed .travis.yml Wen Kokke 2018-01-28 00:58:23 +0000
  • 14532321f8
         Made unzip quiet. Wen Kokke 2018-01-28 00:05:54 +0000
  • a0edb2ac59
         Added Travis support. Wen Kokke 2018-01-27 23:48:04 +0000
  • d1380fd0dc
         Removed out/Basics, added make setup, updated _config Wen Kokke 2018-01-27 23:47:11 +0000
  • 71d92c3776 redid comm, even exists proof wadler 2018-01-26 19:36:31 -0200
  • 6ae06a2236 further progress on Logic wadler 2018-01-26 19:35:55 -0200
  • fb65f6abaa publishing wadler 2018-01-26 17:04:00 -0200
  • 7c68837152 drafted universals and existentials wadler 2018-01-26 17:02:51 -0200
  • 4e0aeabfe4 Publishing draft of Logic wadler 2018-01-26 14:37:46 -0200
  • 6beb810138 Logic, prior to universals wadler 2018-01-26 14:14:40 -0200
  • 005f007543 Logic prior to universals wadler 2018-01-26 14:13:09 -0200
  • 68550c6867
         Removed LICENSE Wen Kokke 2018-01-26 13:14:48 +0000
  • 4b431729f4
         Bumped versions for dependencies Wen Kokke 2018-01-26 13:12:54 +0000
  • c8779277f6 further work on Logic wadler 2018-01-23 13:52:55 +0000
  • f1e3b44cff Logic, true, false, negation wadler 2018-01-14 19:51:42 +0000
  • 28d971a886 Logic, currying and related isos wadler 2018-01-12 19:31:59 -0200
  • 5d767f5b40 Logic, currying and related isos wadler 2018-01-12 19:10:46 -0200
  • b60bc9a8d8 Logic, embedding wadler 2018-01-12 17:20:52 -0200
  • 26c63340e8 mutual recursion wadler 2018-01-12 15:37:26 -0200
  • 64dc1651c3 added Mutual wadler 2018-01-11 13:27:33 -0200
  • 390816ea97 updated Logic, added extra Gentzen wadler 2018-01-10 19:42:25 -0200
  • ab8c9aa7aa trying to prove distribution wadler 2018-01-09 20:08:39 -0200
  • bc9cd1934a trying to prove distribution wadler 2018-01-09 20:05:52 -0200
  • 3d919975fa added material on isomorphism to Logic wadler 2018-01-09 19:54:08 -0200
  • cf7a6b5c56 added trial of Reasoning wadler 2018-01-09 14:45:11 -0200
  • 7d516c8a9f added Logic wadler 2018-01-05 21:30:39 -0200
  • 62f3ccd3bd PropertiesEx and RelationsEx wadler 2018-01-05 19:30:53 -0200
  • 75f59e722d created EvenOdd wadler 2018-01-05 19:29:29 -0200
  • e43a20aa2e created RelationsEx wadler 2018-01-05 19:18:21 -0200
  • 0e4c77c0fb renaming to match standard library wadler 2018-01-05 14:07:31 -0200
  • 2fc99f5b5d finished first draft of Relations save for exercises wadler 2018-01-04 20:43:26 -0200
  • c9a71c9631 finished totality wadler 2018-01-04 19:51:00 -0200
  • f1d4946613 starting on antisymmetry wadler 2018-01-04 13:23:15 -0200
  • 8eb3f00554 text for reflexivity and transitivity wadler 2018-01-04 12:37:25 -0200
  • 8f6f629ff2 added Relations wadler 2018-01-03 20:03:08 -0200
  • 85312c0f00 added Exercises wadler 2018-01-02 19:47:04 -0200
  • db395b3d89 completed first draft of Properties save for exercises wadler 2018-01-02 18:15:13 -0200
  • 33640cf86e fixing ndash and mdash wadler 2018-01-01 19:03:51 -0200
  • bf6c5a0602 finished proof of assoc+ wadler 2018-01-01 17:40:30 -0200
  • 7c7ecbe950 added Properties wadler 2018-01-01 15:45:01 -0200
  • d83f9539a1 finished with Induction for Sunday@ wadler 2017-12-31 13:09:53 -0200
  • cc1eb04846 clean up wadler 2017-12-31 11:55:06 -0200
  • 2800de86e3 completed subsection on recursive definitions wadler 2017-12-30 14:48:32 -0200
  • 76e9b8e690 completed subsection on recursive definitions wadler 2017-12-30 14:38:09 -0200
  • 4c538c96dd inductive definition of addition wadler 2017-12-30 12:54:51 -0200
  • bd3e2762aa starting second section of Naturals wadler 2017-12-30 11:35:29 -0200
  • 92efda2162 minor edits to Natural. End of work on Fri 29 Dec wadler 2017-12-29 15:58:21 -0200
  • 1bd1f19f52 added more to Naturals wadler 2017-12-29 15:53:02 -0200
  • 5d4997bc0c fixed index wadler 2017-12-29 14:56:08 -0200
  • a83e020034 first draft of Naturals wadler 2017-12-29 14:54:12 -0200
  • 3f10630ab8 refinements to Basics Philip Wadler 2017-10-03 12:59:23 +0100
  • 964ed65922 decidable equality in basics Philip Wadler 2017-10-01 22:06:35 +0100
  • 4d04279d04 a bit more basics of arithmetic Philip Wadler 2017-10-01 21:46:17 +0100
  • 9067c7a317 basics of arithmetic Philip Wadler 2017-10-01 21:36:21 +0100
  • b5b755ac49 publishing Basics Philip Wadler 2017-10-01 20:23:11 +0100
  • 6ff8e77c22 changes to README and config Philip Wadler 2017-09-13 17:34:32 +0100
  • 844d39fef0 added unicode names wadler 2017-07-24 12:05:21 +0100
  • a96c961727 added emoji example to alpha renaming wadler 2017-07-24 11:54:46 +0100
  • 456696acbd fixes to README and index wadler 2017-07-19 21:39:36 +0100
  • a4856056e8 fixes to README wadler 2017-07-19 21:32:34 +0100
  • 02f9e5fdf8 cosmetic changes to index and README Philip Wadler 2017-07-19 14:53:12 +0100
  • 03b789ede0 changes to README and index Philip Wadler 2017-07-19 13:14:08 +0100
  • 8fb67556ed last fixes to Stlc and StlcProp before sending out for comment Philip Wadler 2017-07-19 13:02:23 +0100
  • b0a6f9bc5a small fix to Stlc Philip Wadler 2017-07-17 18:12:41 +0100
  • 4c5214b882 small fix to Stlc Philip Wadler 2017-07-17 18:11:44 +0100
  • 8658bb1b42 finished first draft of Stlc Philip Wadler 2017-07-17 18:09:37 +0100
  • 3b62e81c06 minor fixes to Stlc Philip Wadler 2017-07-17 16:06:36 +0100
  • 0432804150 added material on free and bound variables to Stlc Philip Wadler 2017-07-14 18:43:01 +0100
  • b66ccb4dd6 added material on free and bound variables to Stlc Philip Wadler 2017-07-14 18:42:45 +0100
  • 1738eb3998 first draft of Stlc complete to beginning of types Philip Wadler 2017-07-14 17:30:05 +0100
  • daf8cda196 starting on values Philip Wadler 2017-07-14 14:25:34 +0100
  • 0a824e8e03 finished syntax Philip Wadler 2017-07-14 12:05:59 +0100
  • f949776082 syntax examples Philip Wadler 2017-07-14 11:26:50 +0100
  • aef1fa75ca finished intro to syntax Philip Wadler 2017-07-14 11:07:38 +0100
  • 626d87804f merging informal description with bnf Philip Wadler 2017-07-14 11:02:44 +0100
  • 5b63add070 fixed symbol for numeric constants Philip Wadler 2017-07-14 10:59:03 +0100
  • a43bdb46c7 fixed backticks in code spans Philip Wadler 2017-07-14 10:56:59 +0100
  • 3de139a5ef partway through syntax of Stlc Philip Wadler 2017-07-13 17:02:56 +0100
  • 4ea1d650a8 introduction for Stlc Philip Wadler 2017-07-12 17:14:37 +0100
  • 4da22ebb55 finished first pass of StlcProp Philip Wadler 2017-07-12 16:25:49 +0100
  • 2f1f78d8b3 fit to available space Philip Wadler 2017-07-12 15:52:31 +0100
  • a2940a3b12 renaming Philip Wadler 2017-07-12 15:47:22 +0100
  • 53aaa1e3fc publish html Philip Wadler 2017-07-11 17:58:04 +0100
  • 728e54cc83 completed soundness Philip Wadler 2017-07-11 17:57:24 +0100
  • 32307b9e4b fire alarm Philip Wadler 2017-07-11 17:22:11 +0100
  • 929400d012 updated StlcProp through end of preservation Philip Wadler 2017-07-11 15:16:23 +0100
  • c059b831af continuing to revise Stlc and StlcProp Philip Wadler 2017-07-11 13:55:00 +0100
  • eceafb86eb pushing html wadler 2017-07-06 23:13:06 +0100
  • 020fed2395 tried out C-c C-a wadler 2017-07-06 23:12:06 +0100
  • a50ccd7315 revised StlcProp up to start of Substitution Philip Wadler 2017-07-04 18:38:18 +0100
  • 31aece1144 revising Stlc and StlcProp Philip Wadler 2017-07-04 18:33:27 +0100
  • 121c247f43 better Agda support for computing reductions Philip Wadler 2017-07-04 17:49:20 +0100