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

Commit graph

  • 4d919d75e5 [ fix ] inline code block AD1024 2019-09-30 01:13:14 -07:00
  • eaa05fb1db
         Remove redundant word Mo Mirza 2019-09-29 02:01:42 +01:00
  • a79cd54db3
         Merge pull request #415 from momirza/patch-4 Wen Kokke 2019-09-28 11:56:57 +01:00
  • b885081764
         Merge pull request #416 from momirza/patch-5 Wen Kokke 2019-09-28 11:56:40 +01:00
  • 739c9b4619
         Remove “the” Mo Mirza 2019-09-28 11:55:47 +01:00
  • 2621c92824
         Fix typo Mo Mirza 2019-09-28 11:47:47 +01:00
  • eefb949fad Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-09-25 21:21:44 +00:00
  • 1a28ce8ca8
         Merge pull request #413 from AD1024/dev Philip Wadler 2019-09-25 17:08:41 -04:00
  • 7a11912666 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-09-25 20:50:35 +00:00
  • fd3a82166d
         Merge pull request #414 from omelkonian/agda-autoload Wen Kokke 2019-09-25 21:38:20 +01:00
  • 2cebb92bc6 Getting Started: Auto-loading agda-mode Orestis Melkonian 2019-09-25 21:22:29 +01:00
  • 4991b56974 [ implement ] issue #412 AD1024 2019-09-23 18:34:24 -07:00
  • b7fb023f64 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-09-23 14:31:49 +00:00
  • 10152092e7 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-09-19 20:27:16 +00:00
  • eb56d3a85e
         Merge pull request #411 from plfa/bit Philip Wadler 2019-09-19 21:15:06 +01:00
  • 8f77a13551 Revising Bin wadler 2019-09-19 21:11:36 +01:00
  • d15059a5f2 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-09-19 18:05:40 +00:00
  • f0af93fca8
         Merge pull request #406 from plfa/string-compare Philip Wadler 2019-09-19 18:53:09 +01:00
  • 274642e168 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-09-19 16:43:25 +00:00
  • 066f9bd71b Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2019-09-19 16:32:29 +00:00
  • b47a6a3a79 Added note. Wen Kokke 2019-09-19 17:22:45 +01:00
  • 6d8f62d529
         Merge pull request #410 from plfa/mononoki Wen Kokke 2019-09-19 17:21:27 +01:00
  • d589dcbe8b Added instructions for setting up mononoki with emacs. Wen Kokke 2019-09-19 17:20:54 +01:00
  • 1b323dbddf Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-09-19 11:51:11 +00:00
  • 0b3f2d8c0c update course times wadler 2019-09-19 12:39:47 +01:00
  • 4ccfa24b60 Moved explanation to Lambda#primed Wen Kokke 2019-09-18 16:20:55 +01:00
  • ff882eccf6 Revert "Moved explanation to DeBruijn#lookup" Wen Kokke 2019-09-18 16:20:03 +01:00
  • c0086ca017 Revert "Removed ticked syntax exercise." Wen Kokke 2019-09-18 16:13:22 +01:00
  • 0b1baf8f0e Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-09-18 08:55:52 +00:00
  • 0c7aa95b85
         Merge pull request #408 from omelkonian/dev Philip Wadler 2019-09-18 09:43:42 +01:00
  • e857f7fc6f TSPL 2019: Correct timeslot Orestis Melkonian 2019-09-18 09:35:28 +01:00
  • 670594980f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Reza Gharibi (via Travis CI) 2019-09-17 14:00:10 +00:00
  • 8142752759 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Mo Mirza (via Travis CI) 2019-09-17 13:55:58 +00:00
  • 4e3a2734dd Removed an unnecessary import Reza Gharibi 2019-09-01 02:28:06 +04:30
  • 1d44a3906a Consistent formatting Mo Mirza 2019-09-17 10:27:55 +01:00
  • dba3a4ae84 Moved explanation to DeBruijn#lookup Wen Kokke 2019-09-17 15:34:18 +02:00
  • 598747b8e9 Removed ticked syntax exercise. Wen Kokke 2019-09-17 15:29:29 +02:00
  • eb3fac95b5 Removed 'assert inequality'; removed text explaining postulating impossible. Wen Kokke 2019-09-17 15:11:13 +02:00
  • 4ca6d90ebc Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Mo Mirza (via Travis CI) 2019-09-16 20:48:23 +00:00
  • 3f259ae750 Move file to correct course location Mo Mirza 2019-09-16 21:29:41 +01:00
  • 7fab2e21b2 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Mo Mirza (via Travis CI) 2019-09-16 14:36:34 +00:00
  • ae08e4402d Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Mo Mirza (via Travis CI) 2019-09-16 13:33:11 +00:00
  • 39d01bd7d9 Add missing library file Mo Mirza 2019-09-16 14:18:03 +01:00
  • 4e7143613f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-09-15 17:22:42 +00:00
  • 6443bc32f3 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-09-15 17:12:10 +00:00
  • 06f8d7f72f fixed typo wadler 2019-09-15 18:05:12 +01:00
  • 42492996c9 fixed typo wadler 2019-09-15 18:03:14 +01:00
  • cf1bdd9071 added description of marking wadler 2019-09-15 18:01:15 +01:00
  • ebfa52bb5b Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-09-15 16:50:53 +00:00
  • 1b3b6f7cf1 minor fixes to assignments wadler 2019-09-15 17:36:16 +01:00
  • bf8b03c67f fixes to TSPL 2019 wadler 2019-09-15 17:15:46 +01:00
  • db46fd1539 added TSPL 2019 Philip Wadler 2019-09-15 16:52:52 +01:00
  • 27bd94d314
         Merge pull request #400 from momirza/patch-1 Philip Wadler 2019-09-11 15:14:11 +02:00
  • 748b1888f1
         Merge pull request #398 from qaisjp/github-typo Philip Wadler 2019-09-11 14:38:53 +02:00
  • b391b0f92e Added style guide. Wen Kokke 2019-09-11 14:21:23 +02:00
  • fe07ac9e8f Added style guide. Wen Kokke 2019-09-11 14:21:23 +02:00
  • 5ae3b56ccc
         Fix typo: argument to arguments Mo Mirza 2019-09-11 00:32:52 +01:00
  • d9c37f6903
         Fix "Github" typo Qais Patankar 2019-09-10 21:42:59 +01:00
  • 4841f3d879 added 'de Philip' to dedication wadler 2019-09-05 17:37:39 +02:00
  • a96ac7582d Create a branch which uses the new mononoki font for code blocks Wen Kokke 2019-09-05 16:18:57 +01:00
  • b0746f9e17 updated dedication wadler 2019-09-05 16:35:17 +02:00
  • 0de4fad2c0 updated dedication wadler 2019-09-05 13:50:11 +02:00
  • fed6a0cc1f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-09-04 12:08:20 +00:00
  • 68a128e819
         Merge pull request #395 from h4iku/fix-name-typo Philip Wadler 2019-09-04 12:56:00 +01:00
  • 5b9cffcbdd Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master web-19.08 Wen Kokke (via Travis CI) 2019-09-03 16:31:26 +00:00
  • 56189e2d87 Revert "Remove tick from constructors" Wen Kokke 2019-09-03 17:18:36 +01:00
  • 50f93f1e67
         Merge pull request #394 from plfa/detick Philip Wadler 2019-09-03 13:46:23 +01:00
  • 3a98d1dbae Fixed module naming typos Reza Gharibi 2019-09-02 23:25:33 +04:30
  • 41ddb4d9d9 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-09-02 18:42:54 +00:00
  • 1217569ddd
         Merge pull request #392 from h4iku/practice-label Philip Wadler 2019-09-02 19:32:11 +01:00
  • 07894d0d79 Remove tick from constructors wadler 2019-09-02 19:15:50 +01:00
  • 7eb5787e2d Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Reza Gharibi (via Travis CI) 2019-09-02 16:26:27 +00:00
  • 5b97f0e7ed Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Reza Gharibi (via Travis CI) 2019-09-02 14:29:15 +00:00
  • 0cb6b989d5
         Changed the description of practice exercises Reza Gharibi 2019-09-01 03:00:42 +04:30
  • 8f455f28a9 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Reza Gharibi (via Travis CI) 2019-08-31 21:47:51 +00:00
  • 63fcbbe25e Changed missed inherent occurrences to intrinsic dev-19.08 Reza Gharibi 2019-09-01 01:56:51 +04:30
  • 046662cf63 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2019-08-31 19:21:52 +00:00
  • 3ef66e5dbe
         Merge pull request #389 from plfa/intrinsic Philip Wadler 2019-08-31 20:09:04 +01:00
  • f68782dccb Change inherent to intrinsic wadler 2019-08-31 20:04:12 +01:00
  • 40f1f53291 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2019-08-31 17:38:58 +00:00
  • 94aae7b874 removed unneeded command from Notes wadler 2019-08-31 18:26:16 +01:00
  • bc65bd4518 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Deployment Bot (from Travis CI) 2019-08-26 14:27:41 +00:00
  • ecfb51d1a2
         Merge pull request #388 from trajafri/Relations-add-product-import Philip Wadler 2019-08-26 09:44:05 +01:00
  • bb5ff4cd64 part1/Relations: Add _*_ import Turab Jafri 2019-08-25 23:46:15 -04:00
  • aaf5b914b0 part1/Relations: Fix Typo Turab Jafri 2019-08-25 22:09:08 -04:00
  • 251d9bf751 Inference: a variable -> an abstraction Kenichi Asai 2019-08-23 09:25:24 +09:00
  • 69da80df93 agda style Jeremy Siek 2019-08-20 15:37:15 -04:00
  • b88cd2478b failed attempt to use std lib reasoning Jeremy Siek 2019-08-20 15:31:52 -04:00
  • 3f9f9c3c00 lowercase constructors Jeremy Siek 2019-08-19 17:14:07 -04:00
  • 0e27b583c2 agda style in BigStep Jeremy Siek 2019-08-19 15:15:47 -04:00
  • d9e07b0549 acknowledgements update Jeremy Siek 2019-08-19 15:09:25 -04:00
  • 23ca632165 agda style changes Jeremy Siek 2019-08-19 15:00:29 -04:00
  • 6d0d7f76ec updated table of contents part 2&3 to be operational/denotational Jeremy Siek 2019-08-19 13:50:51 -04:00
  • 28a63cfbcd Fixed PUC Exam Wen Kokke 2019-08-15 20:56:51 +01:00
  • 67e139fa16 Updated courses after f20abd92eb Wen Kokke 2019-08-15 20:45:59 +01:00
  • 982dcb2e06 Added a missed (practice) label Reza Gharibi 2019-08-15 22:46:03 +04:30
  • 8f27869beb Added (practice) label to unlabeled exercises Reza Gharibi 2019-08-15 20:44:16 +04:30
  • f20abd92eb Restructured directory. Wen Kokke 2019-08-15 17:26:21 +01:00
  • 0d2212965d
         Merge pull request #380 from h4iku/sim-space-patch Philip Wadler 2019-08-12 11:44:08 +01:00
  • c4ab883b02
         Merge pull request #379 from h4iku/sim-sent-patch Philip Wadler 2019-08-12 11:42:38 +01:00