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

Commit graph

  • 0022dd4b3a updated TSPL page wadler 2019-11-12 20:59:49 +00:00
  • 75bb34c6f9 updated TSPL page wadler 2019-11-12 20:58:35 +00:00
  • dabf2adea7 Avoid page breaks inside code when printing Qais Patankar 2019-11-12 20:11:16 +00:00
  • 77a7324e8e Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-11-11 14:32:57 +00:00
  • 74ba90cb2f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-11-08 12:35:05 +00:00
  • 7680c90400
         Merge pull request #432 from pedrominicz/dev Wen Kokke 2019-11-08 12:21:21 +00:00
  • eb9171cec8 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-11-06 11:42:35 +00:00
  • cbfd7d3be9 Merge branch 'dev' of github.com:plfa/plfa.github.io into dev wadler 2019-11-06 11:29:54 +00:00
  • f12e45117e added citation to jfp paper wadler 2019-11-06 11:29:43 +00:00
  • 33e0cfe433 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-11-05 11:06:29 +00:00
  • 56124b56d7
         Merge pull request #433 from omelkonian/asg4-imports Philip Wadler 2019-11-05 10:33:18 +00:00
  • 21f7f22317 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-11-04 14:32:52 +00:00
  • 517509e190 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-11-02 15:15:48 +00:00
  • e10ff7dfd8
         Merge pull request #435 from qaisjp/patch-1 Wen Kokke 2019-11-02 15:01:27 +00:00
  • 617fe2a0ee
         Fix missing backtick in Lambda Qais Patankar 2019-11-02 14:27:58 +00:00
  • eaac14672c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-11-01 12:17:22 +00:00
  • fbd43ff7a7 updated mock info Philip Wadler 2019-11-01 12:03:15 +00:00
  • 1aa89ab780 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-31 19:24:44 +00:00
  • ed14367a4f Merge branch 'dev' of github.com:plfa/plfa.github.io into dev wadler 2019-10-31 19:12:39 +00:00
  • b4b0a4c02a merge Philip Wadler 2019-10-31 19:12:04 +00:00
  • 2e9c3c28d3 update TSPL 2019 page Philip Wadler 2019-10-31 19:11:34 +00:00
  • 57a380f402 TSPL survey wadler 2019-10-31 17:24:54 +00:00
  • eb3a727606 Consistent import of DB Orestis Melkonian 2019-10-28 17:20:44 +00:00
  • 63d3a6f8b6 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-28 16:43:39 +00:00
  • c0d9e7851e Updated exercise in Lists and Assignment3 wadler 2019-10-28 16:29:01 +00:00
  • c1d395f054 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-28 15:33:33 +00:00
  • 9f0ae6e4b6 fixed exercise in List wadler 2019-10-28 15:19:47 +00:00
  • 43bcc49e34 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-28 14:32:17 +00:00
  • cf06e08043 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-28 12:13:43 +00:00
  • 749e6a9e57 renamed exercises wadler 2019-10-28 12:00:38 +00:00
  • c13a133106 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-28 11:27:38 +00:00
  • d2ff9564ce added midterm survey wadler 2019-10-28 11:26:49 +00:00
  • 6f1933c141 minor fix to Inference wadler 2019-10-28 11:14:22 +00:00
  • edd3e83581 Improve explanation of split exercise. Pedro Minicz 2019-10-26 15:45:15 -03:00
  • 1f5fe587d9 Fix: order of parameter in split function. The merge relation can be illustrated as follow: Pedro Minicz 2019-10-26 15:25:03 -03:00
  • 50529d692b Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-26 18:18:02 +00:00
  • b58309f742
         Merge pull request #431 from pedrominicz/dev Philip Wadler 2019-10-26 19:05:03 +01:00
  • 0e1c5d34ea Fix: make capitalization consistent. Pedro Minicz 2019-10-26 14:56:56 -03:00
  • 10db18b428 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-26 09:57:47 +00:00
  • eb03578439
         Merge pull request #430 from citrusmunch/patch-2 Philip Wadler 2019-10-26 10:44:51 +01:00
  • 58dc0877f6 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-26 09:24:38 +00:00
  • 1f624c0b45 Update year on Assignment 4 link wadler 2019-10-26 10:10:40 +01:00
  • f1763dcbab Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-25 18:07:27 +00:00
  • 4dd9f2e37e Assignment 4 wadler 2019-10-25 18:55:14 +01:00
  • d2e53aaf73 Assignment 4 Philip Wadler 2019-10-25 18:53:46 +01:00
  • 31305266a4 Assignment 4 Philip Wadler 2019-10-25 18:51:39 +01:00
  • 4fa12a4895 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-25 10:27:34 +00:00
  • 8656f2e7af merge wadler 2019-10-25 11:14:51 +01:00
  • a5960b6547 revised exercise More wadler 2019-10-25 11:14:02 +01:00
  • 8d40127af0
         consistent variable name typo citrusmunch 2019-10-24 21:30:59 -04:00
  • 0ca67c9ea5 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-10-24 20:57:09 +00:00
  • 3e28965c09 Update make_assignment script to place exercises from each chapter in their own module, import the chapter and its dependencies, hiding duplicate definitions. Wen Kokke 2019-10-24 21:43:09 +01:00
  • 59796a6214 Update courses wadler 2019-10-23 11:07:07 +01:00
  • a00bf156d9 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-10-22 15:17:05 +00:00
  • f37004bc4b
         Merge pull request #429 from omelkonian/add-ta Wen Kokke 2019-10-22 16:05:46 +01:00
  • 9604413f20 Add myself as a teaching assistant for TSPL'19 Orestis Melkonian 2019-10-22 11:30:18 +01:00
  • e65c3bed8d Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-10-21 15:36:41 +00:00
  • 0d2bb142a5 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-21 15:28:09 +00:00
  • 7f99b5f785 Added script for sending marks. Wen Kokke 2019-10-21 16:22:53 +01:00
  • 9b2edd3f55
         Merge pull request #385 from kenichi-asai/inference Philip Wadler 2019-10-21 16:13:09 +01:00
  • 55b988a7c8 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-10-21 15:01:43 +00:00
  • 08581f4260 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-10-21 14:57:22 +00:00
  • 93a623ee85 Moved make_assignment to TSPL subdirectory. Wen Kokke 2019-10-21 15:47:52 +01:00
  • 2975ebea1f
         Merge pull request #427 from pedrominicz/dev Wen Kokke 2019-10-21 15:44:31 +01:00
  • 67f0e89fea
         Merge pull request #424 from mgttlinger/patch-1 Wen Kokke 2019-10-21 15:43:34 +01:00
  • 1615048a31 Fix: missing close backquote on inline code. Pedro Minicz 2019-10-21 11:41:11 -03:00
  • 00d5df5624 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-21 14:31:22 +00:00
  • eb23896c63 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-21 12:28:19 +00:00
  • 84449daa5c
         Merge pull request #426 from vipo/dev Philip Wadler 2019-10-21 13:16:03 +01:00
  • 23ab17728d Fix Bit format Vi Po 2019-10-20 22:25:39 +03:00
  • fcb5a56fa7
         Don't hardcode executable paths Merlin Göttlinger 2019-10-15 09:56:56 +02:00
  • f8d08dcbf4 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-14 18:29:15 +00:00
  • 22edd31564 further tweaks to List Philip Wadler 2019-10-14 19:11:14 +01:00
  • d13da5e92c fixed merge on Lists Philip Wadler 2019-10-14 15:54:59 +01:00
  • 3494b05d56 Updating Lists Philip Wadler 2019-10-14 15:52:19 +01:00
  • ffa51e6f13 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-14 14:31:03 +00:00
  • 80bd33b53e Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-14 11:34:23 +00:00
  • 5a82d27ba6 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-14 11:30:09 +00:00
  • 2a68a579fb extra files wadler 2019-10-14 12:18:28 +01:00
  • 7daec17224 actually publish Assignment 3 wadler 2019-10-14 12:17:18 +01:00
  • 8c893ca669 Assignment 3 wadler 2019-10-14 12:02:08 +01:00
  • d3869a9bd2 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-09 10:02:03 +00:00
  • 3b221f057b Merge branch 'dev' of github.com:plfa/plfa.github.io into dev wadler 2019-10-09 10:49:26 +01:00
  • 2aeb096158 fixed call to bash in Assignments wadler 2019-10-09 10:49:15 +01:00
  • 8d7421603b Added documentation for make_assignment. Wen Kokke 2019-10-07 17:12:59 +01:00
  • 05b9c01357 Created script to generate exercise files from a list of PLFA chapter files. Wen Kokke 2019-10-07 17:09:23 +01:00
  • d8a42e68f9 added an example to beginning of Quantification wadler 2019-10-07 10:59:15 +01:00
  • b066c247c1 Merge branch 'dev' of github.com:plfa/plfa.github.io into dev wadler 2019-10-04 18:25:05 +01:00
  • 4c5f4f6d93 added submit command to assignments wadler 2019-10-04 18:24:56 +01:00
  • 97cbdb15af Added deadline for optional project Philip Wadler 2019-10-03 10:31:03 +01:00
  • afb430189b Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-10-02 19:54:07 +00:00
  • d0597244e4 Added file to extract exercises using awk. Wen Kokke 2019-10-02 20:42:43 +01:00
  • 2c0003d689 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-10-02 11:03:08 +00:00
  • 520f37dd5c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-10-02 10:58:54 +00:00
  • 4f7a16befb fixed tspl course page wadler 2019-10-02 11:48:42 +01:00
  • 3e6d977434
         Merge pull request #419 from momirza/patch-7 Philip Wadler 2019-10-02 11:46:34 +01:00
  • 4b19cbdbf6
         Rename module and titles for assignment 2 Mo Mirza 2019-10-02 11:26:21 +01:00
  • 29d37040c2
         Merge pull request #417 from momirza/patch-6 Wen Kokke 2019-09-30 13:33:33 +01:00
  • 7a3ba37659
         Merge pull request #418 from AD1024/dev Wen Kokke 2019-09-30 13:33:00 +01:00
  • 55ecfb595b Added Assignment2 wadler 2019-09-30 12:24:25 +01:00