wadler
fc5f645ecb
added link to Nextjournal
2020-01-10 10:58:41 -03:00
Jeremy Siek
95fa648a23
added link to course at Indiana
2020-01-08 14:19:30 -05:00
Philip Wadler
981f7850cd
Merge pull request #447 from mdimjasevic/prop-swap-prf-name
...
Properties: rename a proof for z ≢ x
2020-01-06 20:19:29 -03:00
Marko Dimjašević
338b959f95
Properties: rename a proof for z ≢ x
2020-01-06 22:46:44 +01:00
Philip Wadler
6842ac170b
merge
2020-01-05 22:36:53 +00:00
Philip Wadler
784f99a406
Small changes to send-marks
2020-01-05 22:36:10 +00:00
Wen Kokke
4bcd2f4f0b
Travis CI deployment is broken.
2020-01-03 16:24:41 +00:00
Wen Kokke
733f1d9212
Fix #446
2020-01-03 15:56:50 +00:00
Wen Kokke
9f6e3125e7
Fixed #445
2020-01-03 15:24:02 +00:00
Philip Wadler
4d393171db
Merge pull request #444 from mdimjasevic/lambda-typing-inj
...
Lambda: fix the term in an example showing typing relation is not injective
2020-01-03 08:54:13 -03:00
Marko Dimjašević
3a3539bb77
Lambda: fix the term in an example showing typing relation is not injective
2020-01-03 08:50:22 +01:00
Philip Wadler
233bac8071
Merge pull request #443 from mdimjasevic/lambda-indent-impossible
...
Lambda: fix indentation for correct rendering
2019-12-30 01:13:24 -03:00
Marko Dimjašević
ed97783252
Lambda: fix indentation for correct rendering
2019-12-29 22:37:49 +01:00
Philip Wadler
5547b5251e
Merge pull request #442 from mdimjasevic/lambda-suc-con
...
Lambda: give the suc constructor is the text with an argument
2019-12-28 21:53:55 +00:00
Marko Dimjašević
35e66258cc
Lambda: make the argument name consistent with the latter text
2019-12-28 22:47:03 +01:00
Marko Dimjašević
461c574f8d
Lambda: give the suc constructor is the text with an argument
2019-12-28 22:40:02 +01:00
wadler
a77284a415
added icfp tutorial
2019-12-28 16:47:01 -03:00
Philip Wadler
98cb552b38
merge
2019-12-09 12:44:24 +00:00
Philip Wadler
a8eaea3e47
updated Exam to remove mock
2019-12-09 12:43:59 +00:00
Philip Wadler
2d2b7c7fe9
Merge pull request #441 from googleson78/infixr-sum
...
Make sum type right-associative
2019-12-02 13:18:33 -03:00
Georgi Lyubenov
ef7f95b1db
Make sum type right-associative
2019-12-02 09:49:49 +02:00
Wen Kokke
32a626789b
Fix #227
2019-11-29 13:16:07 +00:00
Philip Wadler
88ce889159
merge
2019-11-19 12:52:32 +00:00
Philip Wadler
fd35c7b992
instructions for essay
2019-11-19 12:51:59 +00:00
wadler
26ead770bf
added exam instructions
2019-11-15 11:00:44 +00:00
Philip Wadler
345d422605
added mocks
2019-11-15 10:55:08 +00:00
Qais Patankar
ddb9b75c16
Fix white-space breaking for multiline code blocks
2019-11-13 14:13:58 +00:00
Philip Wadler
b885666c03
added recursive types
2019-11-13 09:54:27 +00:00
Qais Patankar
04a52de159
Avoid line breaks in the middle of code
2019-11-13 04:37:03 +00:00
Wen Kokke
2ee8a33a4f
Merge pull request #437 from qaisjp/feature/page-break
...
Avoid page breaks inside code when printing
2019-11-12 22:43:10 +00:00
wadler
38cd3659ca
merge
2019-11-12 21:05:11 +00:00
wadler
60090ed190
updated TSPL page
2019-11-12 21:01:32 +00:00
wadler
0022dd4b3a
updated TSPL page
2019-11-12 20:59:49 +00:00
wadler
75bb34c6f9
updated TSPL page
2019-11-12 20:58:35 +00:00
Qais Patankar
dabf2adea7
Avoid page breaks inside code when printing
2019-11-12 20:12:41 +00:00
Wen Kokke
7680c90400
Merge pull request #432 from pedrominicz/dev
...
Fix: order of parameter in `split` function.
2019-11-08 12:21:21 +00:00
wadler
cbfd7d3be9
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
2019-11-06 11:29:54 +00:00
wadler
f12e45117e
added citation to jfp paper
2019-11-06 11:29:43 +00:00
Philip Wadler
56124b56d7
Merge pull request #433 from omelkonian/asg4-imports
...
Consistent import of DB
2019-11-05 10:33:18 +00:00
Wen Kokke
e10ff7dfd8
Merge pull request #435 from qaisjp/patch-1
...
Fix missing backtick in Lambda
2019-11-02 15:01:27 +00:00
Qais Patankar
617fe2a0ee
Fix missing backtick in Lambda
2019-11-02 14:27:58 +00:00
Philip Wadler
fbd43ff7a7
updated mock info
2019-11-01 12:03:15 +00:00
wadler
ed14367a4f
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
2019-10-31 19:12:39 +00:00
Philip Wadler
b4b0a4c02a
merge
2019-10-31 19:12:04 +00:00
Philip Wadler
2e9c3c28d3
update TSPL 2019 page
2019-10-31 19:11:34 +00:00
wadler
57a380f402
TSPL survey
2019-10-31 17:24:54 +00:00
Orestis Melkonian
eb3a727606
Consistent import of DB
...
* Re-export test examples from Chapter DeBruijn in Chapter More.
* In Chapter Inference, as well as Assignment 4, import the
instrinsically-typed λ-calculus as follows:
`import plfa.part2.More as DB`
2019-10-28 17:20:44 +00:00
wadler
c0d9e7851e
Updated exercise in Lists and Assignment3
2019-10-28 16:29:01 +00:00
wadler
9f0ae6e4b6
fixed exercise in List
2019-10-28 15:19:47 +00:00
wadler
749e6a9e57
renamed exercises
2019-10-28 12:00:38 +00:00
