Philip Wadler
c92e164f28
Merge pull request #564 from jasonhemann/patch-1
...
Link to `cask-fonts` cask for OSX.
2021-06-09 15:00:29 +01:00
Jason Hemann
29e8a5387b
Link to cask-fonts cask for OSX.
...
Homebrew doesn't come out-of-the-box with mononoki available; this gives the user a hint as to how to install
2021-06-09 09:47:32 -04:00
Philip Wadler
ee4a4ce9fe
Merge pull request #562 from lacrosse/typos-and-additions
...
Fix typos and add a missing Unicode symbol
2021-03-10 14:29:38 +00:00
Alexander Skiba
88763966a7
Fix typos and add a missing Unicode symbol
2021-03-10 03:24:51 +07:00
Philip Wadler
a23fd711ac
Merge pull request #561 from yawpitch/patch-1
...
Corrects "Windwos" -> "Windows"
2021-02-28 18:05:52 +00:00
Michael Morehouse
7c8b72ae25
Corrects "Windwos" -> "Windows"
...
Not my favorite OS, but Windows users might well search the file for occurrences and miss this one.
2021-02-28 16:58:17 +00:00
Philip Wadler
045f66a7bc
Merge pull request #557 from asr/typos
...
Fixed typos in the grammar for inherited terms
2021-02-10 17:00:03 +00:00
Andrés Sicard-Ramírez
bfe3060196
Fixed typos in the grammar for inherited terms.
2021-02-10 10:13:07 -05:00
wadler
a95b36da45
added notes.md
2021-02-01 12:34:50 +00:00
wadler
3da42bdf23
revised hint for dagger exercise in bisimulation
2021-01-23 12:19:03 +00:00
wadler
946ac05513
Added mention of answer repository to preface and acknowledgements
2021-01-20 11:41:19 +00:00
Philip Wadler
48cf581002
Merge pull request #550 from HarrisonGrodin/patch-1
...
Fix typo in DeBruijn chapter
2020-12-26 14:35:00 +00:00
Harrison Grodin
1174f18ff7
Fix typo
2020-12-25 21:21:12 -05:00
Philip Wadler
6503d1f076
Update preface.md
...
In response to #549 raised by Shreck Ye.
2020-12-22 18:31:35 +00:00
Philip Wadler
a360530a42
Merge pull request #548 from crisoagf/EqReasoningTrans
...
Create an exercise to reflect the fact that proving trans using ≡-Reasoning is circular
2020-12-04 11:45:00 +00:00
Cristóvão Gomes Ferreira (Melo Gibson)
40b63478ba
547 - Proving trans using ≡-Reasoning is circular
2020-12-03 20:19:16 +00:00
Wen Kokke
8c9782d9b6
Added short sections on Spacemacs, VSCode, and Atom.
2020-11-25 14:09:26 +01:00
Wen Kokke
577fb8241f
Fixed deploy to AFS.
2020-11-25 14:09:26 +01:00
Philip Wadler
a621b7d71e
Merge pull request #544 from mdimjasevic/bisim-us
...
Bisimulation: Fixes a Verb Form
2020-11-05 10:59:27 +00:00
Marko Dimjašević
7c69576733
Bisimulation: fixes a verb form
2020-11-05 06:09:44 +01:00
Wen Kokke
9776956c5e
Added URL filter which removes 'index.html'.
2020-10-28 12:17:56 +01:00
Wen Kokke
39c3de6a99
Added highly niche task for publishing to inf.ed.ac.uk.
2020-10-28 11:49:38 +01:00
Wen Kokke
1225be30e2
Added git init to Makefile.
2020-10-27 11:51:24 +01:00
Wen Kokke
396124156b
Fixed link error.
2020-10-26 17:41:12 +01:00
Wen Kokke
9b5ac3e7a8
Add section on citations to HOWTO.
2020-10-26 17:40:16 +01:00
Wen Kokke
2c4bf84365
Added support for citations.
2020-10-26 17:05:04 +01:00
Wen Kokke
e33b5fc952
Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda.
2020-10-24 17:22:41 +02:00
Wen Kokke
66ae436dc1
Updated Agda version, added caching back in.
2020-10-24 17:19:11 +02:00
Wen Kokke
0f7937f856
Removed clean from publish.
2020-10-24 17:15:37 +02:00
Wen Kokke
d4821c9022
Fixed acknowledgements.
2020-10-24 17:14:15 +02:00
Marko Dimjašević
95b39edde5
More: align the names of parameters to #_ to those in Chapter DeBruijn ( #543 )
2020-10-24 17:14:05 +02:00
Marko Dimjašević
a9ecf866c2
More: fixes the syntax of substitution in a wrong translation of case× ( #532 )
...
* More: fixes the syntax of substitution in a wrong translation of case×
* More: fixes the names of projection functions in an intentionally wrong translation
2020-10-24 17:04:30 +02:00
Marko Dimjašević
753029e3ad
More: fixes the projection function used in the informal definition of from×⊤ ( #533 )
2020-10-24 17:03:53 +02:00
Marko Dimjašević
c70e990c29
More: aligns the formalisation of de Bruijn indices with that in the previous chapter ( #534 )
2020-10-24 17:02:29 +02:00
0xd34df00d
a38bdbac8c
Fix a tiny rendering bug due to a \n in inline code ( #536 )
2020-10-24 17:01:56 +02:00
Marko Dimjašević
0aff7d8b2d
More: improves readability of signatures for ext and rename ( #537 )
2020-10-24 17:01:30 +02:00
Marko Dimjašević
2db6d7754f
Make Γ and A parameters instead of indices to the _—↠_ relation ( #539 )
2020-10-24 17:01:09 +02:00
Marko Dimjašević
f0ca07c371
More: makes A a parameter to the Steps data type ( #541 )
2020-10-24 17:00:47 +02:00
Marko Dimjašević
ecec10e840
DeBruijn: refresh a function description given its new implementation ( #542 )
2020-10-24 17:00:27 +02:00
Marko Dimjašević
5326f16a8b
De Bruijn: fixes alignment of arguments to #_ ( #535 )
2020-10-24 16:59:43 +02:00
Wen Kokke
51cd3fb64a
Changed site title.
2020-10-23 15:13:35 +02:00
Wen Kokke
dbcec5aed8
Added page title.
2020-10-23 15:01:21 +02:00
Wen Kokke
0441f97d8c
Fixed citation page. Added announcement. Removed old build files.
2020-10-23 14:51:10 +02:00
Wen Kokke
9affc42409
Added names in social, updated Makefile to checkout standard-library automatically.
2020-10-23 13:09:39 +02:00
Wen Kokke
e43ff72ce2
Removed borders around socials.
2020-10-23 13:09:39 +02:00
Wen Kokke
e794c2557c
Set theme jekyll-theme-minimal
2020-10-23 12:59:10 +02:00
Wen Kokke
09a2ccd5e2
Exclude .nojekyll.
2020-10-23 12:24:54 +02:00
Wen Kokke
8306c1e31d
Removed PDFs from historical course pages.
2020-10-23 12:12:18 +02:00
Wen Kokke
67c6b725a6
Removed Travis integration.
2020-10-23 11:36:49 +02:00
Wen Kokke
5e0f54eb74
Added command for publishing PLFA.
2020-10-23 11:35:48 +02:00
