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
Wen Kokke
3d4c9f7a1d
Fixed rendering errors.
2020-10-23 11:21:02 +02:00
Wen Kokke
17a68514b1
Fix a few issues in the README.
2020-10-23 09:01:44 +02:00
Wen Kokke
2c82ce21da
Switch to Hakyll as the build system for PLFA ( #540 )
2020-10-23 08:45:49 +02:00
Philip Wadler
ea8bee4461
Merge pull request #514 from mdimjasevic/debruijn-wo-impossible
...
DeBruijn: introduce a version of #_ that depends on no postulate
2020-10-17 12:47:47 +01:00
Philip Wadler
2ef2824d3a
Merge pull request #530 from mdimjasevic/more-prod-proj
...
More: fixes an informal definition of swap×
2020-10-14 20:57:41 +01:00
Marko Dimjašević
ea1b9c2150
More: fixes an informal definition of swap×
2020-10-14 18:12:16 +02:00
Philip Wadler
20516d9e8e
Merge pull request #525 from bollu/emacs-keybinds-mnemonics
...
Add mnemonics when keys are first introduced
2020-10-13 12:49:50 +01:00
Marko Dimjašević
8863ed75d1
De Bruijn: makes type A a parameter to the Steps data type ( #528 )
2020-10-12 12:05:46 +02:00
Oliver Tušla
63ab946579
fix link to Agda docs ( #529 )
2020-10-12 11:52:18 +02:00
Marko Dimjašević
adab54f36d
De Bruijn: Fix a verb form ( #527 )
2020-10-05 17:17:06 +02:00
Marko Dimjašević
a78889398d
De Bruijn: fix a line-break in the middle of a markup ( #526 )
2020-10-05 17:14:00 +02:00
Siddharth
242666d380
Mnemonics the first time keys are introduced
...
Add mnemonics for each of the key bindings which have a mnemonic. This makes it easier to learn the bindings.
2020-10-03 13:11:18 +05:30
Siddharth
f9b5ad3091
Add mnemonics to the list of keybindings
...
Make the mnemonic a little more obvious by bolding the text. Also explain why _split_ is `C-c C-c` [`c` for **c**case].
2020-10-03 13:06:02 +05:30
Philip Wadler
47d08d71fb
Merge pull request #524 from mdimjasevic/debruijn-subst-indent
...
De Bruijn: changes the indentation of function arguments for consistency
2020-10-02 15:34:50 +01:00
Marko Dimjašević
f4a6f941a0
De Bruijn: Implements Wadler's feedback to PR #514
2020-10-02 14:18:37 +02:00
Marko Dimjašević
41d7e373ce
De Bruijn: changes the alignment of function arguments for consistency
2020-10-02 13:33:42 +02:00
Marko Dimjašević
a889fa0273
De Bruijn: implement feedback to PR #514 by Wadler and Kokke
2020-10-01 22:33:59 +02:00
Wen Kokke
849807da58
Update README.md
2020-09-29 14:57:07 +02:00
Philip Wadler
021caf38df
Merge pull request #520 from jphmrst2/forPulls
...
Add UWL class using PLFA for Fall 2020
2020-09-29 13:32:33 +01:00
Wen Kokke
467f0d1181
Revert "Close quotation mark ( #521 )" ( #522 )
...
This reverts commit 846a92c14f
2020-09-29 12:39:09 +02:00
Oling Cat
846a92c14f
Close quotation mark ( #521 )
2020-09-29 12:24:51 +02:00
John Maraist
3bc68bac10
Add UWL class
2020-09-28 16:54:00 -05:00
Marko Dimjašević
ef3b3b00aa
Adds a missing closing parenthesis
2020-09-25 12:18:56 +02:00
Reza Gharibi
778d42371d
Fixed some typos ( #519 )
2020-09-25 10:40:46 +02:00
Marko Dimjašević
edcf159ea9
DeBruijn: update a figure in the golden section to reflect a change in representation
2020-09-22 07:51:29 +02:00
Jeremy G. Siek
fcfb0caee2
Merge pull request #518 from h4iku/fix-typo
...
Fixed some typos.
Thanks h4iku!
2020-09-17 14:02:06 -04:00
Reza Gharibi
33576e4345
Fixed some typos
2020-09-17 20:49:59 +04:30
