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 |
|
Jeremy Siek
|
1e14534a8d
|
progress :) finished Progress
|
2020-07-16 17:29:21 -04:00 |
|
Jeremy Siek
|
dbc9f0aac8
|
text through <:-trans
|
2020-07-16 16:06:51 -04:00 |
|
Jeremy Siek
|
a8682af3d4
|
text through <:-refl
|
2020-07-16 14:55:03 -04:00 |
|
Philip Wadler
|
b6b128c337
|
Merge pull request #494 from matthew-healy/even-odd-spacing
Align type definitions in even and odd example
|
2020-07-16 19:35:56 +01:00 |
|
Matthew Healy
|
2a620487f6
|
Align types in even and odd example
|
2020-07-16 18:31:16 +02:00 |
|
Jeremy Siek
|
f1ef20e35c
|
Merge branch 'dev' of https://github.com/plfa/plfa.github.io into dev
|
2020-07-15 17:06:50 -04:00 |
|
Jeremy Siek
|
f14ddf42ec
|
first draft of Subtyping, still needs some text
|
2020-07-15 17:06:42 -04:00 |
|
Wen Kokke
|
3ba6a0508d
|
Fix Makefile.
|
2020-07-15 17:12:42 +01:00 |
|
Wen Kokke
|
7dd0479994
|
Update _config.yml
|
2020-07-15 16:30:49 +01:00 |
|
Wen Kokke
|
26ad191b9b
|
Fix Makefile
|
2020-07-15 16:26:21 +01:00 |
|
Wen Kokke
|
56613e9d5e
|
Fix Makefile.
|
2020-07-15 16:19:38 +01:00 |
|
Wen Kokke
|
bfc0b7f598
|
Fixed Makefile; fixed historical Source links.
|
2020-07-15 16:03:26 +01:00 |
|
Wen Kokke
|
a79af92920
|
Minor changes.
|
2020-07-15 14:24:38 +01:00 |
|
Wen Kokke
|
5d022d7014
|
Removed TSPL 2018, PUC 2019, Padova 2019, and ICFP 2019 from courses.
|
2020-07-15 14:05:40 +01:00 |
|
Wen Kokke
|
32978b5651
|
Changed announcements
|
2020-07-15 13:49:36 +01:00 |
|
Wen Kokke
|
95033b061a
|
Reformatted announcements.
|
2020-07-15 13:49:29 +01:00 |
|
Wen Kokke
|
59eb4585e1
|
Added posts and excerpts.
|
2020-07-15 13:49:03 +01:00 |
|
Wen Kokke
|
13fd01300e
|
Added posts and excerpts.
|
2020-07-15 12:59:11 +01:00 |
|
Wen Kokke
|
bc19a3a1a2
|
Moved related information to announcements.
|
2020-07-15 12:51:22 +01:00 |
|
Wen Kokke
|
a0a79fe15c
|
Announced releases.
|
2020-07-14 20:47:01 +01:00 |
|
Wen Kokke
|
af346ad524
|
Wrote TODO for new releases.
|
2020-07-14 20:13:26 +01:00 |
|
Wen Kokke
|
2d5270a4e7
|
Updating citing
|
2020-07-14 19:54:00 +01:00 |
|
Wen Kokke
|
493a883896
|
Updated links to TSPL and PUC-Rio
|
2020-07-14 19:47:08 +01:00 |
|