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

Commit graph

  • b31d8eba50 fixed bug in Connectives wadler 2018-03-14 18:34:46 -03:00
  • 771bd2de5d removed Connectives-old, updated index wadler 2018-03-14 18:32:44 -03:00
  • ef062ba226 added eta to Connectives, added Negation and Quantifiers wadler 2018-03-14 18:31:30 -03:00
  • 2e2ebb5665 updating Connectives, finishing exponentials wadler 2018-03-13 18:59:10 -03:00
  • bbee34baa2 revised up through Isomorphism wadler 2018-03-13 13:24:22 -03:00
  • d60de1202b Merge branch 'master' of github.com:wenkokke/sf wadler 2018-03-12 19:33:29 -03:00
  • 65e6af9d4b revisions on Natural to Isomorphism wadler 2018-03-12 19:33:13 -03:00
  • 0ba37f5fb4 first pass over Isomorphism wadler 2018-03-12 18:02:41 -03:00
  • 731641b16c
         Added timeout for cache and edge workaround. Wen Kokke 2018-03-12 16:33:19 +00:00
  • 63a38ec261 added various files in extra wadler 2018-03-12 13:04:51 -03:00
  • 620510e685 Merge branch 'master' of github.com:wenkokke/sf wadler 2018-03-12 13:01:33 -03:00
  • 926558bfe6 completed pass over Equality wadler 2018-03-12 13:01:08 -03:00
  • dffb291510 completed pass over Equality wadler 2018-03-12 12:53:30 -03:00
  • 44080b66fa
         Added workaround for dpl-1.9.0 bug. Wen Kokke 2018-03-12 12:57:18 +00:00
  • 5c16222d49
         Updated Makefile. Wen Kokke 2018-03-12 12:07:17 +00:00
  • 1d1bfcf54a
         Removed the keep-history flag. Wen Kokke 2018-03-11 22:32:47 +00:00
  • c90f0f9af0 fiddling with Equality wadler 2018-03-11 18:52:48 -03:00
  • b191d639c8 updated RelationsAns wadler 2018-03-08 18:44:26 -03:00
  • 1ff0d97564 revised Relations, further fixes wadler 2018-03-08 18:04:38 -03:00
  • c05e9b49ed revised Relations wadler 2018-03-08 17:15:01 -03:00
  • 6538feeda5 completed revision of Relations wadler 2018-03-07 18:13:11 -03:00
  • 67689be194 fixed import at end of Properties wadler 2018-03-07 17:40:56 -03:00
  • ee13c1c6ed halfway through Relations wadler 2018-03-07 13:25:35 -03:00
  • b088ee59cf tiny fix to Properties wadler 2018-03-07 11:55:29 -03:00
  • ea44518e27 fix to RelationsAns wadler 2018-03-06 18:38:27 -03:00
  • bcc8e78eb4 completed revisions of Naturals and Properties wadler 2018-03-06 18:18:05 -03:00
  • 5f738df949 first rewrite of assoc and comm wadler 2018-03-06 15:34:15 -03:00
  • 73ab7f0dc0 removed Typed, which is redundant wadler 2018-03-05 19:02:10 -03:00
  • dbd5399b85 further revisions to Properties wadler 2018-03-05 19:00:21 -03:00
  • 929da32c56 further revisions to Naturals wadler 2018-03-05 18:34:22 -03:00
  • a6f413ecb4 changed examples in Naturals wadler 2018-03-05 13:25:56 -03:00
  • 62b64c9b84 further fixes to Preface, Acknowledgements wadler 2018-03-04 18:02:40 -03:00
  • 61d00be7c1 further fixes to Preface, Acknowledgements wadler 2018-03-04 17:59:36 -03:00
  • 62c6e88b14 fix to Preface, Acknowledgements wadler 2018-03-04 17:43:16 -03:00
  • fb3ad1d4bd small fixes to Preface, about, index wadler 2018-03-04 12:37:40 -03:00
  • ae26e82dd4 wrote Preface wadler 2018-03-04 12:29:53 -03:00
  • d2c64685db added Notes wadler 2018-03-04 10:57:27 -03:00
  • 6e6531e7ae minor change to Naturals wadler 2018-03-01 20:27:15 +01:00
  • e34252934f revised text of Naturals wadler 2018-03-01 20:23:54 +01:00
  • 0afaa0aa3a added imports to Naturals wadler 2018-03-01 18:47:32 +01:00
  • 5144d5717c
         Fixed .travis.yml; added server-start and server-stop; removed serve Wen Kokke 2018-02-28 12:08:43 +00:00
  • 6888d87b37
         Fixed Makefile Wen Kokke 2018-02-28 12:01:22 +00:00
  • d9a79cf298 Revised Natural wadler 2018-02-27 18:45:52 +01:00
  • c4ae7c86bc added PHOAS to Scoped wadler 2018-02-27 17:49:33 +01:00
  • e739cd7029 added letters to repository wadler 2018-02-27 17:24:58 +01:00
  • 45a4be4fa6 small fix to Typed wadler 2018-02-27 14:54:22 +01:00
  • 4e4fc99920 changed DeBruijn to Scoped wadler 2018-02-27 14:50:21 +01:00
  • 11e9a4e99d removed hole from DeBruijn wadler 2018-02-26 12:18:29 +01:00
  • a794dc0fbf Added DeBruijn to index wadler 2018-02-26 10:25:51 +01:00
  • 178c0f8dc4 updating DeBruijn for PHOAS wadler 2018-02-26 09:09:43 +01:00
  • 657feddf46 moved DeBruijn to src so it will be published wadler 2018-02-24 19:50:20 +01:00
  • b453ef1efc completed progress wadler 2018-02-24 17:32:51 +01:00
  • edfbdd1a0d halfway through DeBruijn wadler 2018-02-24 16:31:35 +01:00
  • b0226ccb41 halfway through DeBruijn wadler 2018-02-24 13:45:45 +01:00
  • 543017049d added Darais wadler 2018-02-23 14:50:29 +01:00
  • c75cd9dc06 further work on DeBruijn wadler 2018-02-23 13:45:53 +01:00
  • ea08e95665 restored original DeBruijn wadler 2018-02-22 12:53:22 +01:00
  • 3391c18b53 second order DeBruijn wadler 2018-02-22 12:51:16 +01:00
  • f6f41167ba Stable and DeBruijn wadler 2018-02-20 12:42:19 +01:00
  • 2a45baba90 Decidable All wadler 2018-02-18 12:40:59 -03:00
  • 151dc6d6bd Decidable connectives wadler 2018-02-18 11:08:20 -03:00
  • d1385a7160 added Kramdown to README wadler 2018-02-17 11:52:09 -02:00
  • 32a2062a78 added Everything wadler 2018-02-16 17:30:23 -02:00
  • 3f744db8b9 updated index wadler 2018-02-16 17:27:02 -02:00
  • f97bac1082 Decidable, first half wadler 2018-02-16 17:08:58 -02:00
  • a6e1179622 minor fixes to Lists wadler 2018-02-15 09:40:27 -02:00
  • f939eebf5b fixed bug in LogicAns wadler 2018-02-14 21:10:07 -02:00
  • 9114aad7b3 finished first draft of Lists wadler 2018-02-14 20:14:54 -02:00
  • 652da6c516 Lists, added All and Any wadler 2018-02-14 19:34:10 -02:00
  • 7a369f9f8d updated README to point to CommonMark wadler 2018-02-14 10:33:53 -02:00
  • 462a88508f finished Lists foldr monoid wadler 2018-02-12 15:17:48 -02:00
  • ab9e5d6c7d Revised material on sections wadler 2018-02-09 15:27:31 -04:00
  • 9c3a362a62 Lists, map and fold wadler 2018-02-08 17:41:51 -04:00
  • 2871611bec updated Agda wadler 2018-02-08 14:31:35 -04:00
  • 2e93d44877 Lists, up through fast reverse wadler 2018-02-07 14:17:56 -04:00
  • e37d1692c9 added ListsAns wadler 2018-02-07 11:46:48 -04:00
  • 8011389aa9 append, length, reverse in Lists wadler 2018-02-06 16:57:35 -04:00
  • e5d6f95e77 started text for Lists wadler 2018-02-05 17:58:51 -04:00
  • 7135880522 added Lists to index wadler 2018-02-04 18:08:49 -04:00
  • 65572ed522 Lists wadler 2018-02-04 18:06:41 -04:00
  • abfff1ac17
         Minor changes in makefile; moved bundle install to make setup Wen Kokke 2018-02-02 13:36:01 +00:00
  • 4df09d9b05 code for Lists wadler 2018-01-31 21:26:08 -02:00
  • 650610600f added tabular reasoning for embedding wadler 2018-01-31 16:57:11 -02:00
  • 871573291a refactoring of Isomorphsim complete wadler 2018-01-31 16:49:53 -02:00
  • e39a019602 factored out Isomorphism, Logic broken wadler 2018-01-31 12:53:08 -02:00
  • dd021129f2 finished rewriting about to start Leibniz wadler 2018-01-31 10:20:37 -02:00
  • 27b038de35 backing up Equivalence wadler 2018-01-31 09:30:41 -02:00
  • 465594f495 starting to explain rewrite wadler 2018-01-30 18:59:52 -02:00
  • 185d8981f0 added explanation of tabular reasoning wadler 2018-01-30 17:58:57 -02:00
  • b0d7c5f49c halfway through Equivalence wadler 2018-01-29 21:01:19 -02:00
  • 00b156f6cb
         Fixed PropertiesAns and RelationsAns wadler 2018-01-28 15:15:30 -02:00
  • b93d1168be
         Cherry-picked cleanup of logic intro to master wadler 2018-01-28 15:15:30 -02:00
  • 806b48d88c
         Configured notifications for Travis Wen Kokke 2018-01-28 18:24:51 +00:00
  • f195408df4 test --- does change push? wadler 2018-01-28 15:35:14 -02:00
  • 6cadf407e4 shifting to main branch as suggested by Wen wadler 2018-01-28 15:31:18 -02:00
  • 7b02b316fd
         Fixed baseurl Wen Kokke 2018-01-28 14:35:22 +00:00
  • 5c8da6bbc0
         Removed out/ folder from master Wen Kokke 2018-01-28 14:32:56 +00:00
  • 967464906f
         Travis: Fixing minor errors through many commits Wen Kokke 2018-01-28 11:22:02 +00:00
  • 0bb07834c1
         Travis: Fixing minor errors through marny commits Wen Kokke 2018-01-28 10:48:45 +00:00
  • 78e4d54a9a
         Travis: Now also caching the build directories Wen Kokke 2018-01-28 10:39:34 +00:00