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 |
|
Wen Kokke
|
463361eb13
|
Fix #516 by renaming .dir-locals.el to dotdir-locals.el.
|
2020-09-15 16:47:15 +02:00 |
|
Marko Dimjašević
|
318ff6f491
|
Polishes an updated alternative formalisation of variables via de Bruijn indices
|
2020-09-12 23:00:35 +02:00 |
|
Marko Dimjašević
|
375df5c3c5
|
DeBruijn: introduce a version of #_ that depends on no postulate
|
2020-09-11 23:26:34 +02:00 |
|
Marko Dimjašević
|
ebdd29865b
|
Fixes a verb plural error (#512)
|
2020-09-10 07:39:40 +02:00 |
|
Wen Kokke
|
12d87f4198
|
Add Getting Started to the ToC.
|
2020-08-22 13:04:08 +02:00 |
|
Wen Kokke
|
39a686500a
|
Added Aquamacs-specific patch.
|
2020-08-22 13:04:08 +02:00 |
|
Gagan Devagiri
|
018113ee02
|
Fix typos (#508)
|
2020-08-19 23:27:52 +02:00 |
|
Wen Kokke
|
9ec78b534d
|
Added .dir-locals.el which disables auto-fill-mode.
|
2020-08-19 22:41:18 +02:00 |
|
Wen Kokke
|
22005f797e
|
Added .dir-locals.el which disables auto-fill-mode.
|
2020-08-19 22:38:59 +02:00 |
|
Wen Kokke
|
a611d4d1e9
|
Switched to offline tests.
|
2020-08-19 22:24:49 +02:00 |
|
Wen Kokke
|
acd3b31a1b
|
Added test suite to pre-commit hooks.
|
2020-08-19 22:23:08 +02:00 |
|
Wen Kokke
|
6af8bed428
|
Added installation instructions for fix-whitespace.
|
2020-08-19 22:19:40 +02:00 |
|
Wen Kokke
|
b5d69ff010
|
Moved Git hooks to the .githooks directory, and created make init script.
|
2020-08-19 22:13:39 +02:00 |
|
Wen Kokke
|
ec4694070e
|
Added section on Git hooks to README.
|
2020-08-19 22:05:51 +02:00 |
|
Wen Kokke
|
b172ea93af
|
Changed comments in fix-whitespace.yaml.
|
2020-08-19 21:55:34 +02:00 |
|
Wen Kokke
|
f06137a621
|
Added fix-whitespace.yaml and fixed whitespace.
|
2020-08-19 21:54:32 +02:00 |
|
Matthew Healy
|
a591bf8616
|
Fix newline rendering in Quantifiers chapter (#498)
|
2020-08-19 19:44:36 +02:00 |
|
Gan Shen
|
b87defd53d
|
fix missing O (#502)
|
2020-08-18 09:52:46 +02:00 |
|
Wen Kokke
|
ba02a8b15c
|
Migration post.
|
2020-08-13 11:11:58 +02:00 |
|
Wen Kokke
|
86d37017f4
|
Minor changes to README.
|
2020-08-13 11:09:48 +02:00 |
|
wadler
|
310c80a9bc
|
fix typo
|
2020-08-07 09:05:37 +01:00 |
|
wadler
|
91a2dd4bf8
|
merge
|
2020-08-07 09:05:24 +01:00 |
|
wadler
|
daac6bfe14
|
fix typo
|
2020-08-07 09:04:38 +01:00 |
|