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

Commit graph

  • fcf981cfec added explanation to exercise Jeremy Siek 2020-05-06 15:01:41 -0400
  • 1f3edee761 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-05-04 14:43:21 +0000
  • a318862777 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-05-03 19:28:08 +0000
  • 3d614523dc fix mixup regarding former/later and description of import Jeremy Siek 2020-05-03 15:16:41 -0400
  • c24262477a Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-04-30 18:35:56 +0000
  • 6a3fec78b6 updates to index page wadler 2020-04-30 15:23:40 -0300
  • f2cb91fc30 added Levy suggestion to extra wadler 2020-04-30 08:36:48 -0300
  • 328a6f705f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-04-27 14:43:35 +0000
  • 77499be10c
         Modified Peter's proposed text on argument order Philip Wadler 2020-04-21 15:42:33 -0300
  • 8da824a96a
         Add paragraph about order of arguments to x ≟ y Philip Wadler 2020-04-21 10:50:41 -0300
  • 8b9fc489c3 pragmatic note on matching against decidable equality Peter Thiemann 2020-04-21 15:05:52 +0200
  • 6ba26bbfc8 Agda 2.6.1 doesn't recognize it's terminating Peter Thiemann 2020-04-21 14:55:12 +0200
  • eba8d8d56e Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-04-20 14:42:26 +0000
  • 9f4e95e4e4 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-04-18 15:32:06 +0000
  • 6428b87def added import to Qualifiers wadler 2020-04-18 12:20:03 -0300
  • 711ad3ad0a Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-04-17 15:27:52 +0000
  • c76da31328 merge wadler 2020-04-17 12:16:18 -0300
  • 29157501d4 added proj_2 to imports in Qualifiers wadler 2020-04-17 12:14:55 -0300
  • 6416a75f88 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-04-13 14:43:13 +0000
  • 057369850c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-04-10 18:07:37 +0000
  • 963fc985b0 moved exercise to come later Jeremy Siek 2020-04-10 13:55:52 -0400
  • 3afd29f78a Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-04-09 13:40:28 +0000
  • 09a91451b2 fix links Jeremy Siek 2020-04-09 09:27:24 -0400
  • 433587bc61 more edits Jeremy Siek 2020-04-09 09:18:30 -0400
  • 2afe5706a1 some edits Jeremy Siek 2020-04-09 09:15:25 -0400
  • 66eb45f3ee Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-04-07 12:30:59 +0000
  • 2dc431121e simplified D^c Jeremy Siek 2020-04-07 08:19:03 -0400
  • 49fc9e0a97 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-04-06 14:42:47 +0000
  • fb6f82952b Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-04-01 13:43:24 +0000
  • 3ab180ad8d tweak Jeremy Siek 2020-04-01 09:30:52 -0400
  • 2603c21f2d Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-31 20:19:22 +0000
  • d1f628ceae changed the denot-church exercise Jeremy Siek 2020-03-31 16:07:45 -0400
  • 31804efb94 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-31 11:46:26 +0000
  • 6d97cb0101 fix typo wadler 2020-03-31 08:34:37 -0300
  • da8b86a0d7 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-30 20:33:48 +0000
  • 14b1fb0e10 fix formatting Jeremy Siek 2020-03-30 16:21:48 -0400
  • 80ba0c6f84 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-30 20:09:22 +0000
  • 2412de33fc Merge branch 'dev' of https://github.com/plfa/plfa.github.io into dev Jeremy Siek 2020-03-30 15:57:31 -0400
  • 850de4b860 fix typo Jeremy Siek 2020-03-30 15:57:23 -0400
  • 8b32cea5e4 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-30 14:42:13 +0000
  • f7f4b882c8 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-30 12:23:34 +0000
  • 07f33fd85d merge wadler 2020-03-30 09:07:19 -0300
  • 805f1fd31a updated name wadler 2020-03-30 09:06:53 -0300
  • dacd7c9d78 added SCP final version wadler 2020-03-30 09:05:58 -0300
  • fb02732910 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-29 21:07:35 +0000
  • c448928045 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-29 21:03:23 +0000
  • 8ffc49e929 minor text edit Jeremy Siek 2020-03-29 16:53:38 -0400
  • 2486155f3f doh! got Church and Scott mixed up, unfixing Jeremy Siek 2020-03-29 16:51:25 -0400
  • b18ed9a83a Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-28 20:35:47 +0000
  • 6dc437bce7 new exercise Jeremy Siek 2020-03-28 16:23:56 -0400
  • cc818d1005 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-27 15:47:36 +0000
  • e51e255d8d fixed suc_ Jeremy Siek 2020-03-27 11:35:26 -0400
  • 8c793ecd36 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-25 19:56:14 +0000
  • dadd689684 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-25 19:46:20 +0000
  • 724ec85423 substZero Jeremy Siek 2020-03-25 15:42:33 -0400
  • 8ef93f790b fixed hint Jeremy Siek 2020-03-25 15:25:59 -0400
  • 40c06832d9 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-23 14:42:32 +0000
  • bcc6d88d27 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-16 14:48:38 +0000
  • 1f3000f299 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-12 19:57:08 +0000
  • 639b903670 merge wadler 2020-03-12 16:46:12 -0300
  • 460c87eeaa update pdf wadler 2020-03-12 16:45:54 -0300
  • 5c18c85121 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-11 20:20:58 +0000
  • 27c596a896 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-11 20:09:01 +0000
  • 6ef39138b7 minor edits Jeremy Siek 2020-03-11 16:08:04 -0400
  • 222e000ed6 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-11 19:56:48 +0000
  • 08508f9e36 renamed dom and cod Jeremy Siek 2020-03-11 15:55:44 -0400
  • 6b595851d6 another tweak Jeremy Siek 2020-03-11 15:45:02 -0400
  • 22c96cf232 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-11 18:01:33 +0000
  • 233c4fc48a Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-11 17:50:28 +0000
  • 552ec893c6 tweak Jeremy Siek 2020-03-11 13:47:25 -0400
  • 7acc69d836 minor edit Jeremy Siek 2020-03-11 13:44:46 -0400
  • c91f284115 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-11 17:38:59 +0000
  • 1c54d99cbe an example got out of sync with the text Jeremy Siek 2020-03-11 13:35:52 -0400
  • 40f287e050 removed remaining references to nth Jeremy Siek 2020-03-11 13:26:56 -0400
  • 78666c8c41 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-10 14:30:34 +0000
  • 489daa4519 merge wadler 2020-03-10 11:17:31 -0300
  • 9171a5c632 add pdf wadler 2020-03-10 11:17:07 -0300
  • fc5013f4eb Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-10 13:56:18 +0000
  • 7e514800eb improved some proofs Jeremy Siek 2020-03-10 09:44:41 -0400
  • ba3fc668ca Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-03-09 20:26:36 +0000
  • 0a94cddd2f changed name of lemma Jeremy Siek 2020-03-09 16:14:24 -0400
  • 4f03967ba7 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-09 14:40:43 +0000
  • 321a3d4c3a Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-03-04 22:29:41 +0000
  • de8c6ae3ef merge wadler 2020-03-04 19:16:36 -0300
  • 6300a449ff revision of scp paper wadler 2020-03-04 19:16:18 -0300
  • cdf2431252 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-03-02 14:42:07 +0000
  • bf3769a913 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-02-24 14:48:13 +0000
  • 134b06dbe1
         Merge pull request #467 from moleike/patch-2 Wen Kokke 2020-02-20 12:55:00 +0000
  • 6f27a9b7e6
         fix typo Alexandre Moreno 2020-02-20 13:10:04 +0800
  • 91ca5daa42 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-02-19 21:12:39 +0000
  • dc7da4961b fixed typo Jeremy Siek 2020-02-19 15:59:44 -0500
  • 9a0826a2ef Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-02-17 14:47:53 +0000
  • e97ebb879a Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-02-14 13:47:24 +0000
  • 4df3cb67a1 merge wadler 2020-02-14 10:36:20 -0300
  • ea6483024e added Adrian's comments to Notes.md wadler 2020-02-14 10:35:49 -0300
  • 769c3b7782 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-02-13 15:01:12 +0000
  • a8b53353a7
         Merge pull request #465 from MatthiasGabriel/patch-2 Wen Kokke 2020-02-13 14:48:58 +0000
  • 747998cd63
         Remove strange line break Matthias Gabriel 2020-02-13 15:46:39 +0100
  • ed68b4cc35 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-02-13 12:44:34 +0000
  • 10bfcebc44
         Merge pull request #464 from MatthiasGabriel/typo/begriffsschrift Wen Kokke 2020-02-13 12:32:39 +0000