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 |
|
Philip Wadler
|
b372721501
|
Merge pull request #501 from ChefYeum/patch-1
Add documentation link to Agda pragmas
|
2020-08-05 08:36:01 +01:00 |
|
Dee Yeum
|
f31dae473e
|
Add documentation link to Agda pragmas
|
2020-08-05 16:23:19 +09:00 |
|
Philip Wadler
|
0081b96b1e
|
Merge pull request #500 from matthew-healy/decidable-newline
Fix newline rendering in Decidable chapter
|
2020-07-31 17:41:26 +01:00 |
|
Matthew Healy
|
fd10b0d5a9
|
Fix newline rendering in Decidable chapter
|
2020-07-31 16:04:16 +02:00 |
|
Marko Dimjašević
|
6a2f296e32
|
Properties: introduce an implicit argument M for clarity in the type of M-named variables (#454)
|
2020-07-24 18:50:20 +01:00 |
|
purchan
|
4e40ef4ab3
|
part1/Decidable: Renaming proof (#496)
|
2020-07-24 18:48:25 +01:00 |
|
Liang-Ting Chen
|
4e287a06f1
|
[ re #473 ] Takahashi's complete development (#493)
|
2020-07-24 18:47:30 +01:00 |
|
Philip Wadler
|
dd32f8f6c6
|
Update Negation.lagda.md
At suggestion of Fredrik Nordvall Forsberg, replace "proof by contradiction" with "reductio ad absurdum".
|
2020-07-23 12:12:43 +01:00 |
|
Wen Kokke
|
ada0f50e5d
|
Announce migration to 2.6.1.
|
2020-07-20 17:16:01 +01:00 |
|
Wen Kokke
|
da90fefe66
|
Fix typo.
|
2020-07-20 16:14:09 +01:00 |
|
Wen Kokke
|
820d57176f
|
Added script to trigger Travis build of cache.
|
2020-07-20 16:00:27 +01:00 |
|
Wen Kokke
|
3665b385d4
|
Longer wait time
|
2020-07-20 01:35:00 +01:00 |
|
Wen Kokke
|
ad0da807b4
|
Fix Makefile
|
2020-07-19 21:57:45 +01:00 |
|
Wen Kokke
|
0660bcc442
|
Updated .travis.yml, GHC version.
|
2020-07-19 21:33:25 +01:00 |
|
Wen Kokke
|
e2df0393f2
|
Move travis_retry to .travis.yml
|
2020-07-19 19:55:49 +01:00 |
|
Wen Kokke
|
48c2298104
|
Separate out installs in .travis.yaml
|
2020-07-19 19:49:11 +01:00 |
|
Wen Kokke
|
0615638d66
|
Upgrade to Agda v2.6.1. (#492)
|
2020-07-19 19:43:20 +01:00 |
|
Wen Kokke
|
3e64fa40ef
|
Fix issue with ffi gem on MacOS.
|
2020-07-19 19:06:50 +01:00 |
|
Wen Kokke
|
935362efc4
|
Fix #495.
|
2020-07-19 13:56:36 +01:00 |
|
wadler
|
4423c37089
|
small fixes
|
2020-07-17 18:45:36 +01:00 |
|
Jeremy Siek
|
5095ca11c1
|
tweak
|
2020-07-17 10:08:38 -04:00 |
|
Jeremy Siek
|
b538aba98b
|
moving infix decls
|
2020-07-17 10:04:59 -04:00 |
|
Jeremy Siek
|
1052db99b3
|
more tweaks
|
2020-07-17 09:58:15 -04:00 |
|
Jeremy Siek
|
711cd4fff5
|
tweaks
|
2020-07-17 09:53:59 -04:00 |
|
Jeremy Siek
|
71e8f13fc3
|
spell check
|
2020-07-17 09:41:57 -04:00 |
|
Jeremy Siek
|
3398281a67
|
finished references
|
2020-07-17 09:30:06 -04:00 |
|
Jeremy Siek
|
03e710febf
|
finished preservation, so the first draft of Subtyping is complete
|
2020-07-16 22:19:36 -04:00 |
|