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

Commit graph

  • daac6bfe14 fix typo wadler 2020-08-07 09:04:38 +0100
  • b372721501
         Merge pull request #501 from ChefYeum/patch-1 Philip Wadler 2020-08-05 08:36:01 +0100
  • f31dae473e
         Add documentation link to Agda pragmas Dee Yeum 2020-08-05 16:23:19 +0900
  • 0081b96b1e
         Merge pull request #500 from matthew-healy/decidable-newline Philip Wadler 2020-07-31 17:41:26 +0100
  • fd10b0d5a9 Fix newline rendering in Decidable chapter Matthew Healy 2020-07-31 16:04:16 +0200
  • 6a2f296e32
         Properties: introduce an implicit argument M for clarity in the type of M-named variables (#454) Marko Dimjašević 2020-07-24 19:50:20 +0200
  • 4e40ef4ab3
         part1/Decidable: Renaming proof (#496) purchan 2020-07-25 01:48:25 +0800
  • 4e287a06f1
         [ re #473 ] Takahashi's complete development (#493) Liang-Ting Chen 2020-07-25 01:47:30 +0800
  • dd32f8f6c6
         Update Negation.lagda.md Philip Wadler 2020-07-23 12:12:43 +0100
  • ada0f50e5d Announce migration to 2.6.1. Wen Kokke 2020-07-20 17:16:01 +0100
  • da90fefe66 Fix typo. Wen Kokke 2020-07-20 16:14:09 +0100
  • 820d57176f Added script to trigger Travis build of cache. Wen Kokke 2020-07-20 16:00:27 +0100
  • 3665b385d4 Longer wait time Wen Kokke 2020-07-20 01:35:00 +0100
  • ad0da807b4 Fix Makefile Wen Kokke 2020-07-19 21:57:45 +0100
  • 0660bcc442 Updated .travis.yml, GHC version. Wen Kokke 2020-07-19 21:33:25 +0100
  • e2df0393f2 Move travis_retry to .travis.yml Wen Kokke 2020-07-19 19:55:49 +0100
  • 48c2298104 Separate out installs in .travis.yaml Wen Kokke 2020-07-19 19:46:26 +0100
  • 0615638d66
         Upgrade to Agda v2.6.1. (#492) Wen Kokke 2020-07-19 19:43:20 +0100
  • 3e64fa40ef Fix issue with ffi gem on MacOS. Wen Kokke 2020-07-19 19:06:50 +0100
  • 935362efc4 Fix #495. Wen Kokke 2020-07-19 13:56:36 +0100
  • 4423c37089 small fixes wadler 2020-07-17 18:45:36 +0100
  • 5095ca11c1 tweak Jeremy Siek 2020-07-17 10:08:38 -0400
  • b538aba98b moving infix decls Jeremy Siek 2020-07-17 10:04:59 -0400
  • 1052db99b3 more tweaks Jeremy Siek 2020-07-17 09:58:15 -0400
  • 711cd4fff5 tweaks Jeremy Siek 2020-07-17 09:53:59 -0400
  • 71e8f13fc3 spell check Jeremy Siek 2020-07-17 09:41:57 -0400
  • 3398281a67 finished references Jeremy Siek 2020-07-17 09:30:06 -0400
  • 03e710febf finished preservation, so the first draft of Subtyping is complete Jeremy Siek 2020-07-16 22:19:36 -0400
  • 1e14534a8d progress :) finished Progress Jeremy Siek 2020-07-16 17:29:21 -0400
  • dbc9f0aac8 text through <:-trans Jeremy Siek 2020-07-16 16:06:51 -0400
  • a8682af3d4 text through <:-refl Jeremy Siek 2020-07-16 14:55:03 -0400
  • b6b128c337
         Merge pull request #494 from matthew-healy/even-odd-spacing Philip Wadler 2020-07-16 19:35:56 +0100
  • 2a620487f6 Align types in even and odd example Matthew Healy 2020-07-16 18:31:16 +0200
  • f1ef20e35c Merge branch 'dev' of https://github.com/plfa/plfa.github.io into dev Jeremy Siek 2020-07-15 17:06:50 -0400
  • f14ddf42ec first draft of Subtyping, still needs some text Jeremy Siek 2020-07-15 17:06:42 -0400
  • 3ba6a0508d Fix Makefile. Wen Kokke 2020-07-15 17:12:42 +0100
  • 7dd0479994 Update _config.yml Wen Kokke 2020-07-15 16:30:49 +0100
  • 26ad191b9b Fix Makefile Wen Kokke 2020-07-15 16:26:21 +0100
  • 56613e9d5e Fix Makefile. Wen Kokke 2020-07-15 16:19:23 +0100
  • bfc0b7f598 Fixed Makefile; fixed historical Source links. Wen Kokke 2020-07-15 16:02:57 +0100
  • a79af92920 Minor changes. Wen Kokke 2020-07-15 14:24:38 +0100
  • 5d022d7014 Removed TSPL 2018, PUC 2019, Padova 2019, and ICFP 2019 from courses. Wen Kokke 2020-07-15 14:05:40 +0100
  • 32978b5651 Changed announcements Wen Kokke 2020-07-15 13:41:20 +0100
  • 95033b061a Reformatted announcements. Wen Kokke 2020-07-15 13:36:28 +0100
  • 59eb4585e1 Added posts and excerpts. Wen Kokke 2020-07-15 12:59:11 +0100
  • 13fd01300e Added posts and excerpts. Wen Kokke 2020-07-15 12:59:11 +0100
  • bc19a3a1a2 Moved related information to announcements. Wen Kokke 2020-07-15 12:51:22 +0100
  • a0a79fe15c Announced releases. Wen Kokke 2020-07-14 20:47:01 +0100
  • af346ad524 Wrote TODO for new releases. Wen Kokke 2020-07-14 20:13:26 +0100
  • 2d5270a4e7 Updating citing Wen Kokke 2020-07-14 19:54:00 +0100
  • 493a883896 Updated links to TSPL and PUC-Rio Wen Kokke 2020-07-14 19:47:08 +0100
  • 1fe4b0b407 Renamed post. Wen Kokke 2020-07-14 19:38:56 +0100
  • 9ad1787a58 Remove .versions before deploy Wen Kokke 2020-07-14 19:37:17 +0100
  • d4c89dfeec Fix versions Wen Kokke 2020-07-14 19:22:17 +0100
  • f3a95cb994 Updated index Wen Kokke 2020-07-14 19:10:15 +0100
  • acca8350b1 Fix .versions Wen Kokke 2020-07-14 18:59:59 +0100
  • d8caea8b69 Fix EPUB; move cached releases to .versions. Wen Kokke 2020-07-14 18:59:27 +0100
  • fb20064605 Adopted CalVer Wen Kokke 2020-07-14 18:25:13 +0100
  • 48dcc99152 Removed statistics page. Wen Kokke 2020-07-14 18:12:21 +0100
  • 033e0db57a Minor comment. Wen Kokke 2020-07-14 18:05:18 +0100
  • 893b220c02 Rename stable to latest. Wen Kokke 2020-07-14 18:03:28 +0100
  • 9204cc9ef9 Added clean Wen Kokke 2020-07-14 17:30:31 +0100
  • 2ef6e73ecb Exclude plfa.github.io-web-* folders from Jekyll build. Wen Kokke 2020-07-14 17:16:29 +0100
  • ccda5c009e Generate stable version. Wen Kokke 2020-07-14 16:20:03 +0100
  • edce229b79 Fix Makefile. Wen Kokke 2020-07-14 16:05:46 +0100
  • 1179e4b0d3 Added 2019 release. Wen Kokke 2020-07-14 15:49:25 +0100
  • db05328d15 Build historical versions. Wen Kokke 2020-07-14 15:11:59 +0100
  • d6d55be567 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master web-20.07 Wen Kokke (via Travis CI) 2020-07-13 23:01:50 +0000
  • 74d8781297 Fixed issue with EPUB. dev-20.07 Wen Kokke 2020-07-13 23:50:28 +0100
  • c56db8000d Wrote announcement for Part 3 Wen Kokke 2020-07-13 23:37:01 +0100
  • 3b0529c267 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-13 22:08:58 +0000
  • 11d8dff177
         Replace use of impossible idiom with proof by reflection (#409) Wen Kokke 2020-07-13 23:01:14 +0100
  • d3a7a60060
         Merge pull request #489 from plfa/issue488 Wen Kokke 2020-07-13 22:56:27 +0100
  • 5ad67d3d2f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-07-13 14:55:45 +0000
  • f04dbd2c65 Updated Lambda to specify determinism implies the diamond property and confluence, but the diamond property does not imply confluence by itself.e Wen Kokke 2020-07-13 15:03:00 +0100
  • 3a420e3105 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-07-08 11:01:57 +0000
  • 697174cd47 merge wadler 2020-07-08 11:50:27 +0100
  • 78da4246b6 improved intro to cong4 wadler 2020-07-08 11:50:04 +0100
  • 6bc9ccd609 Fix #488 Wen Kokke 2020-07-08 11:10:15 +0100
  • 1d53c3ccdd Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-06 14:57:18 +0000
  • 134148bc5c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-03 15:38:03 +0000
  • dedf93666d Fix Markdown in announcement Wen Kokke 2020-07-03 16:26:19 +0100
  • 15e7086dab Announce EPUB Wen Kokke 2020-07-03 15:56:08 +0100
  • abd57910e4 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-03 14:35:05 +0000
  • ec10e24701 Don't cache out/ Wen Kokke 2020-07-03 15:23:02 +0100
  • 2eab03ffc1 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-02 23:34:24 +0000
  • 972cdf14a4 removed superfluous lua script, moved acknowledgements Wen Kokke 2020-07-03 00:23:11 +0100
  • 551c5c4fde Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-02 22:59:46 +0000
  • 23a11a68aa Fix #476 Wen Kokke 2020-07-02 23:47:27 +0100
  • e13882ddf3 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-02 22:38:02 +0000
  • 45203c2705 Moved up acknowledgements. Wen Kokke 2020-07-02 23:25:59 +0100
  • 91497c3e72 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-02 21:35:01 +0000
  • bce8bb3d89 Forgotten exec. Wen Kokke 2020-07-02 22:22:13 +0100
  • c021bcc82c Rewrote README to remove all the Lua stuff... Wen Kokke 2020-07-02 22:21:18 +0100
  • 0b63dd967a Most hilarious ruby command ever. Wen Kokke 2020-07-02 22:08:27 +0100
  • eab2370701 Simplify .travis.yml Wen Kokke 2020-07-02 21:55:05 +0100
  • 615cdfe245 Adding 'liquid' as a dependency. Wen Kokke 2020-07-02 21:54:08 +0100
  • 45f40d0d8d Fixed Makefile, added epubtest. Wen Kokke 2020-07-02 21:39:29 +0100
  • 3c0394b8a0 Rewrote render-liquid-template in Ruby Wen Kokke 2020-07-02 21:35:20 +0100
  • 2748c8605c Install Lua and Luarocks Wen Kokke 2020-07-02 21:03:59 +0100