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
Wen Kokke
1fe4b0b407
Renamed post.
2020-07-14 19:38:56 +01:00
Wen Kokke
9ad1787a58
Remove .versions before deploy
2020-07-14 19:37:17 +01:00
Wen Kokke
d4c89dfeec
Fix versions
2020-07-14 19:22:17 +01:00
Wen Kokke
f3a95cb994
Updated index
2020-07-14 19:10:15 +01:00
Wen Kokke
acca8350b1
Fix .versions
2020-07-14 18:59:59 +01:00
Wen Kokke
d8caea8b69
Fix EPUB; move cached releases to .versions.
2020-07-14 18:59:27 +01:00
Wen Kokke
fb20064605
Adopted CalVer
2020-07-14 18:25:13 +01:00
Wen Kokke
48dcc99152
Removed statistics page.
2020-07-14 18:12:21 +01:00
Wen Kokke
033e0db57a
Minor comment.
2020-07-14 18:05:18 +01:00
Wen Kokke
893b220c02
Rename stable to latest.
2020-07-14 18:03:28 +01:00
Wen Kokke
9204cc9ef9
Added clean
2020-07-14 17:30:31 +01:00
Wen Kokke
2ef6e73ecb
Exclude plfa.github.io-web-* folders from Jekyll build.
2020-07-14 17:16:29 +01:00
Wen Kokke
ccda5c009e
Generate stable version.
2020-07-14 16:20:03 +01:00
Wen Kokke
edce229b79
Fix Makefile.
2020-07-14 16:05:46 +01:00
Wen Kokke
1179e4b0d3
Added 2019 release.
2020-07-14 15:49:25 +01:00
Wen Kokke
db05328d15
Build historical versions.
...
(cherry picked from commit ff45bc230744498b5f5f5a20f41e9e7b8f936de2)
2020-07-14 15:16:30 +01:00
Wen Kokke
74d8781297
Fixed issue with EPUB.
2020-07-13 23:50:28 +01:00
Wen Kokke
c56db8000d
Wrote announcement for Part 3
2020-07-13 23:37:01 +01:00
Wen Kokke
11d8dff177
Replace use of impossible idiom with proof by reflection ( #409 )
...
* Added section on proof by reflection to Decidable.
* Define True in Decidable.
* Add exercise for defining False in Decidable.
* Rewrote text in Lambda to reflection new section on proof by reflection.
* Replace S constructor in Lambda with a version which checks the inequality implicitly.
* Define product and unit types as records in Connectives.
* Explain difference between data and records w.r.t. definitional equality in Connectives.
2020-07-13 23:01:14 +01:00
Wen Kokke
d3a7a60060
Merge pull request #489 from plfa/issue488
...
Fix #488
2020-07-13 22:56:27 +01:00
Wen Kokke
f04dbd2c65
Updated Lambda to specify determinism implies the diamond property and confluence, but the diamond property does not imply confluence by itself.e
2020-07-13 15:03:00 +01:00
wadler
697174cd47
merge
2020-07-08 11:50:27 +01:00
wadler
78da4246b6
improved intro to cong4
2020-07-08 11:50:04 +01:00
Wen Kokke
6bc9ccd609
Fix #488
2020-07-08 11:10:15 +01:00
Wen Kokke
dedf93666d
Fix Markdown in announcement
2020-07-03 16:26:19 +01:00
Wen Kokke
15e7086dab
Announce EPUB
2020-07-03 15:56:08 +01:00
Wen Kokke
ec10e24701
Don't cache out/
2020-07-03 15:23:02 +01:00
