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

Commit graph

  • c022088e3c
         updated text-icu ver to be compatible with icu68+ (#565) Altariarite 2021-06-16 16:13:27 +0100
  • c92e164f28
         Merge pull request #564 from jasonhemann/patch-1 Philip Wadler 2021-06-09 15:00:29 +0100
  • 29e8a5387b
         Link to cask-fonts cask for OSX. Jason Hemann 2021-06-09 09:47:32 -0400
  • ee4a4ce9fe
         Merge pull request #562 from lacrosse/typos-and-additions Philip Wadler 2021-03-10 14:29:38 +0000
  • 88763966a7
         Fix typos and add a missing Unicode symbol Alexander Skiba 2021-03-10 03:22:46 +0700
  • a23fd711ac
         Merge pull request #561 from yawpitch/patch-1 Philip Wadler 2021-02-28 18:05:52 +0000
  • 7c8b72ae25
         Corrects "Windwos" -> "Windows" Michael Morehouse 2021-02-28 16:58:17 +0000
  • 045f66a7bc
         Merge pull request #557 from asr/typos Philip Wadler 2021-02-10 17:00:03 +0000
  • bfe3060196 Fixed typos in the grammar for inherited terms. Andrés Sicard-Ramírez 2021-02-10 10:13:07 -0500
  • a95b36da45 added notes.md wadler 2021-02-01 12:34:50 +0000
  • 3da42bdf23 revised hint for dagger exercise in bisimulation wadler 2021-01-23 12:19:03 +0000
  • 946ac05513 Added mention of answer repository to preface and acknowledgements wadler 2021-01-20 11:41:19 +0000
  • 48cf581002
         Merge pull request #550 from HarrisonGrodin/patch-1 Philip Wadler 2020-12-26 14:35:00 +0000
  • 1174f18ff7
         Fix typo Harrison Grodin 2020-12-25 21:21:12 -0500
  • 6503d1f076
         Update preface.md Philip Wadler 2020-12-22 18:31:35 +0000
  • a360530a42
         Merge pull request #548 from crisoagf/EqReasoningTrans Philip Wadler 2020-12-04 11:45:00 +0000
  • 40b63478ba 547 - Proving trans using ≡-Reasoning is circular Cristóvão Gomes Ferreira (Melo Gibson) 2020-12-03 20:14:48 +0000
  • 8c9782d9b6 Added short sections on Spacemacs, VSCode, and Atom. Wen Kokke 2020-11-25 14:09:17 +0100
  • 577fb8241f Fixed deploy to AFS. Wen Kokke 2020-11-25 14:09:00 +0100
  • a621b7d71e
         Merge pull request #544 from mdimjasevic/bisim-us Philip Wadler 2020-11-05 10:59:27 +0000
  • 7c69576733
         Bisimulation: fixes a verb form Marko Dimjašević 2020-11-05 06:09:44 +0100
  • 9776956c5e Added URL filter which removes 'index.html'. Wen Kokke 2020-10-28 12:17:56 +0100
  • 39c3de6a99 Added highly niche task for publishing to inf.ed.ac.uk. Wen Kokke 2020-10-28 11:49:38 +0100
  • 1225be30e2 Added git init to Makefile. Wen Kokke 2020-10-27 11:51:24 +0100
  • 396124156b Fixed link error. Wen Kokke 2020-10-26 17:41:12 +0100
  • 9b5ac3e7a8 Add section on citations to HOWTO. Wen Kokke 2020-10-26 17:40:16 +0100
  • 2c4bf84365 Added support for citations. Wen Kokke 2020-10-26 17:05:04 +0100
  • e33b5fc952 Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda. Wen Kokke 2020-10-24 17:22:41 +0200
  • 66ae436dc1 Updated Agda version, added caching back in. Wen Kokke 2020-10-24 17:19:11 +0200
  • 0f7937f856 Removed clean from publish. Wen Kokke 2020-10-24 17:15:37 +0200
  • d4821c9022 Fixed acknowledgements. Wen Kokke 2020-10-23 15:19:41 +0200
  • 95b39edde5
         More: align the names of parameters to #_ to those in Chapter DeBruijn (#543) Marko Dimjašević 2020-10-24 17:14:05 +0200
  • a9ecf866c2
         More: fixes the syntax of substitution in a wrong translation of case× (#532) Marko Dimjašević 2020-10-24 17:04:30 +0200
  • 753029e3ad
         More: fixes the projection function used in the informal definition of from×⊤ (#533) Marko Dimjašević 2020-10-24 17:03:53 +0200
  • c70e990c29
         More: aligns the formalisation of de Bruijn indices with that in the previous chapter (#534) Marko Dimjašević 2020-10-24 17:02:29 +0200
  • a38bdbac8c
         Fix a tiny rendering bug due to a \n in inline code (#536) 0xd34df00d 2020-10-24 10:01:56 -0500
  • 0aff7d8b2d
         More: improves readability of signatures for ext and rename (#537) Marko Dimjašević 2020-10-24 17:01:30 +0200
  • 2db6d7754f
         Make Γ and A parameters instead of indices to the _—↠_ relation (#539) Marko Dimjašević 2020-10-24 17:01:09 +0200
  • f0ca07c371
         More: makes A a parameter to the Steps data type (#541) Marko Dimjašević 2020-10-24 17:00:47 +0200
  • ecec10e840
         DeBruijn: refresh a function description given its new implementation (#542) Marko Dimjašević 2020-10-24 17:00:27 +0200
  • 5326f16a8b
         De Bruijn: fixes alignment of arguments to #_ (#535) Marko Dimjašević 2020-10-24 16:59:43 +0200
  • 51cd3fb64a Changed site title. Wen Kokke 2020-10-23 15:13:35 +0200
  • dbcec5aed8 Added page title. Wen Kokke 2020-10-23 15:01:21 +0200
  • 0441f97d8c Fixed citation page. Added announcement. Removed old build files. Wen Kokke 2020-10-23 14:51:10 +0200
  • 9affc42409 Added names in social, updated Makefile to checkout standard-library automatically. Wen Kokke 2020-10-23 13:09:31 +0200
  • e43ff72ce2 Removed borders around socials. Wen Kokke 2020-10-23 12:45:56 +0200
  • e794c2557c Set theme jekyll-theme-minimal Wen Kokke 2020-10-23 12:59:10 +0200
  • 09a2ccd5e2 Exclude .nojekyll. Wen Kokke 2020-10-23 12:24:54 +0200
  • 8306c1e31d Removed PDFs from historical course pages. Wen Kokke 2020-10-23 12:12:18 +0200
  • 67c6b725a6 Removed Travis integration. Wen Kokke 2020-10-23 11:36:49 +0200
  • 5e0f54eb74 Added command for publishing PLFA. Wen Kokke 2020-10-23 11:35:48 +0200
  • 3d4c9f7a1d Fixed rendering errors. Wen Kokke 2020-10-23 11:21:02 +0200
  • 17a68514b1 Fix a few issues in the README. Wen Kokke 2020-10-23 09:01:44 +0200
  • 2c82ce21da
         Switch to Hakyll as the build system for PLFA (#540) Wen Kokke 2020-10-23 08:45:49 +0200
  • ea8bee4461
         Merge pull request #514 from mdimjasevic/debruijn-wo-impossible Philip Wadler 2020-10-17 12:47:47 +0100
  • 2ef2824d3a
         Merge pull request #530 from mdimjasevic/more-prod-proj Philip Wadler 2020-10-14 20:57:41 +0100
  • ea1b9c2150
         More: fixes an informal definition of swap× Marko Dimjašević 2020-10-14 18:12:16 +0200
  • 20516d9e8e
         Merge pull request #525 from bollu/emacs-keybinds-mnemonics Philip Wadler 2020-10-13 12:49:50 +0100
  • 8863ed75d1
         De Bruijn: makes type A a parameter to the Steps data type (#528) Marko Dimjašević 2020-10-12 12:05:46 +0200
  • 63ab946579
         fix link to Agda docs (#529) Oliver Tušla 2020-10-12 11:52:18 +0200
  • adab54f36d
         De Bruijn: Fix a verb form (#527) Marko Dimjašević 2020-10-05 17:17:06 +0200
  • a78889398d
         De Bruijn: fix a line-break in the middle of a markup (#526) Marko Dimjašević 2020-10-05 17:14:00 +0200
  • 242666d380
         Mnemonics the first time keys are introduced Siddharth 2020-10-03 13:11:18 +0530
  • f9b5ad3091
         Add mnemonics to the list of keybindings Siddharth 2020-10-03 13:06:02 +0530
  • 47d08d71fb
         Merge pull request #524 from mdimjasevic/debruijn-subst-indent Philip Wadler 2020-10-02 15:34:50 +0100
  • f4a6f941a0
         De Bruijn: Implements Wadler's feedback to PR #514 Marko Dimjašević 2020-10-02 14:18:37 +0200
  • 41d7e373ce
         De Bruijn: changes the alignment of function arguments for consistency Marko Dimjašević 2020-10-02 13:33:42 +0200
  • a889fa0273
         De Bruijn: implement feedback to PR #514 by Wadler and Kokke Marko Dimjašević 2020-10-01 22:33:59 +0200
  • 849807da58
         Update README.md Wen Kokke 2020-09-29 14:57:07 +0200
  • 021caf38df
         Merge pull request #520 from jphmrst2/forPulls Philip Wadler 2020-09-29 13:32:33 +0100
  • 467f0d1181
         Revert "Close quotation mark (#521)" (#522) Wen Kokke 2020-09-29 12:39:09 +0200
  • 846a92c14f
         Close quotation mark (#521) Oling Cat 2020-09-29 18:24:51 +0800
  • 3bc68bac10 Add UWL class John Maraist 2020-09-28 16:54:00 -0500
  • ef3b3b00aa
         Adds a missing closing parenthesis Marko Dimjašević 2020-09-25 12:18:56 +0200
  • 778d42371d
         Fixed some typos (#519) Reza Gharibi 2020-09-25 12:10:46 +0330
  • edcf159ea9
         DeBruijn: update a figure in the golden section to reflect a change in representation Marko Dimjašević 2020-09-22 07:51:29 +0200
  • fcfb0caee2
         Merge pull request #518 from h4iku/fix-typo Jeremy G. Siek 2020-09-17 14:02:06 -0400
  • 33576e4345 Fixed some typos Reza Gharibi 2020-09-17 20:49:59 +0430
  • 463361eb13 Fix #516 by renaming .dir-locals.el to dotdir-locals.el. Wen Kokke 2020-09-15 16:45:57 +0200
  • 318ff6f491
         Polishes an updated alternative formalisation of variables via de Bruijn indices Marko Dimjašević 2020-09-12 23:00:35 +0200
  • 375df5c3c5
         DeBruijn: introduce a version of #_ that depends on no postulate Marko Dimjašević 2020-09-11 23:26:34 +0200
  • ebdd29865b
         Fixes a verb plural error (#512) Marko Dimjašević 2020-09-10 07:39:40 +0200
  • 12d87f4198 Add Getting Started to the ToC. Wen Kokke 2020-08-22 13:03:27 +0200
  • 39a686500a Added Aquamacs-specific patch. Wen Kokke 2020-08-19 22:44:21 +0200
  • 018113ee02
         Fix typos (#508) Gagan Devagiri 2020-08-19 22:27:52 +0100
  • 9ec78b534d Added .dir-locals.el which disables auto-fill-mode. Wen Kokke 2020-08-19 22:38:59 +0200
  • 22005f797e Added .dir-locals.el which disables auto-fill-mode. Wen Kokke 2020-08-19 22:38:59 +0200
  • a611d4d1e9 Switched to offline tests. Wen Kokke 2020-08-19 22:24:49 +0200
  • acd3b31a1b Added test suite to pre-commit hooks. Wen Kokke 2020-08-19 22:23:08 +0200
  • 6af8bed428 Added installation instructions for fix-whitespace. Wen Kokke 2020-08-19 22:19:40 +0200
  • b5d69ff010 Moved Git hooks to the .githooks directory, and created make init script. Wen Kokke 2020-08-19 22:13:39 +0200
  • ec4694070e Added section on Git hooks to README. Wen Kokke 2020-08-19 22:05:51 +0200
  • b172ea93af Changed comments in fix-whitespace.yaml. Wen Kokke 2020-08-19 21:55:34 +0200
  • f06137a621 Added fix-whitespace.yaml and fixed whitespace. Wen Kokke 2020-08-19 21:54:21 +0200
  • a591bf8616
         Fix newline rendering in Quantifiers chapter (#498) Matthew Healy 2020-08-19 19:44:36 +0200
  • b87defd53d
         fix missing O (#502) Gan Shen 2020-08-18 00:52:46 -0700
  • ba02a8b15c Migration post. Wen Kokke 2020-08-13 11:11:58 +0200
  • 86d37017f4 Minor changes to README. Wen Kokke 2020-08-13 11:09:35 +0200
  • 310c80a9bc fix typo wadler 2020-08-07 09:05:37 +0100
  • 91a2dd4bf8 merge wadler 2020-08-07 09:05:24 +0100