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
Wen Kokke
972cdf14a4
removed superfluous lua script, moved acknowledgements
2020-07-03 00:23:11 +01:00
Wen Kokke
23a11a68aa
Fix #476
2020-07-02 23:47:27 +01:00
Wen Kokke
45203c2705
Moved up acknowledgements.
2020-07-02 23:25:59 +01:00
Wen Kokke
bce8bb3d89
Forgotten exec.
2020-07-02 22:22:13 +01:00
Wen Kokke
c021bcc82c
Rewrote README to remove all the Lua stuff...
2020-07-02 22:21:18 +01:00
Wen Kokke
0b63dd967a
Most hilarious ruby command ever.
2020-07-02 22:08:27 +01:00
Wen Kokke
eab2370701
Simplify .travis.yml
2020-07-02 21:55:05 +01:00
Wen Kokke
615cdfe245
Adding 'liquid' as a dependency.
2020-07-02 21:54:08 +01:00
Wen Kokke
45f40d0d8d
Fixed Makefile, added epubtest.
2020-07-02 21:39:29 +01:00
Wen Kokke
3c0394b8a0
Rewrote render-liquid-template in Ruby
2020-07-02 21:35:20 +01:00
Wen Kokke
2748c8605c
Install Lua and Luarocks
2020-07-02 21:03:59 +01:00
Wen Kokke
5821dc621c
Change .travis.yaml
2020-07-02 20:52:33 +01:00
Wen Kokke
d9249935c0
Fix problem in Makefile
2020-07-02 20:11:43 +01:00
Wen Kokke
69b89e8d1f
Moving things to .travis.yaml
2020-07-02 20:10:16 +01:00
Wen Kokke
660e558299
Major changes to Makefile
2020-07-02 19:53:24 +01:00
Wen Kokke
871052e49b
Full path to Lua
2020-07-02 19:33:20 +01:00
Wen Kokke
968676147a
Specify lua-dir.
2020-07-02 19:31:55 +01:00
Wen Kokke
b76a105cce
Check luarocks version. Specify lua version on rocks install.
2020-07-02 19:29:52 +01:00
Wen Kokke
06205deaa7
Update Lua config
2020-07-02 19:18:06 +01:00
Wen Kokke
840d93deef
Install Lua 5.3
2020-07-02 19:12:58 +01:00
Wen Kokke
f510d870ff
Debugging travis build.
2020-07-02 16:19:57 +01:00
Wen Kokke
8f0b55b4ae
Minor fix.
2020-07-02 16:15:54 +01:00
Wen Kokke
cfec58a2ba
Install lua packages locally
2020-07-02 16:09:36 +01:00
