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
wadler
d2ff9564ce
added midterm survey
2019-10-28 11:26:49 +00:00
wadler
6f1933c141
minor fix to Inference
2019-10-28 11:14:22 +00:00
Pedro Minicz
edd3e83581
Improve explanation of split exercise.
2019-10-26 15:45:15 -03:00
Pedro Minicz
1f5fe587d9
Fix: order of parameter in split function.
...
The `merge` relation can be illustrated as follow:
merge xs ys zs ≡ xs + ys = zs
This shows a key point: every element of `xs` is contained in `zs`.
The original definition of `split` makes no sense under this revelation.
split : ∀ {A : Set} {P : A → Set} (P? : Decidable P) (xs : List A)
→ ∃[ ys ] ∃[ zs ] ( merge xs ys zs × All P ys × All (¬_ ∘ P) zs )
`zs` will contain all elements of `xs` (the input!) and we also have that `All (¬_ ∘ P) zs`. This function signature cannot be inhabited, as it would imply that for any `P : A → Set` and any `x : A` we have `¬(P x)`.
2019-10-26 15:25:03 -03:00
Philip Wadler
b58309f742
Merge pull request #431 from pedrominicz/dev
...
Fix: make capitalization consistent.
2019-10-26 19:05:03 +01:00
Pedro Minicz
0e1c5d34ea
Fix: make capitalization consistent.
2019-10-26 14:56:56 -03:00
Philip Wadler
eb03578439
Merge pull request #430 from citrusmunch/patch-2
...
consistent variable name typo
2019-10-26 10:44:51 +01:00
wadler
1f624c0b45
Update year on Assignment 4 link
2019-10-26 10:10:40 +01:00
wadler
4dd9f2e37e
Assignment 4
2019-10-25 18:55:14 +01:00
Philip Wadler
d2e53aaf73
Assignment 4
2019-10-25 18:53:46 +01:00
Philip Wadler
31305266a4
Assignment 4
2019-10-25 18:51:39 +01:00
wadler
8656f2e7af
merge
2019-10-25 11:14:51 +01:00
wadler
a5960b6547
revised exercise More
2019-10-25 11:14:02 +01:00
citrusmunch
8d40127af0
consistent variable name typo
2019-10-24 21:30:59 -04:00
Wen Kokke
3e28965c09
Update make_assignment script to place exercises from each chapter in their own module, import the chapter and its dependencies, hiding duplicate definitions.
2019-10-24 21:43:17 +01:00
wadler
59796a6214
Update courses
2019-10-23 11:07:07 +01:00
Wen Kokke
f37004bc4b
Merge pull request #429 from omelkonian/add-ta
...
Add myself as a teaching assistant for TSPL'19
2019-10-22 16:05:46 +01:00
Orestis Melkonian
9604413f20
Add myself as a teaching assistant for TSPL'19
2019-10-22 11:30:18 +01:00
Wen Kokke
7f99b5f785
Added script for sending marks.
2019-10-21 16:23:05 +01:00
Philip Wadler
9b2edd3f55
Merge pull request #385 from kenichi-asai/inference
...
Inference: a variable -> an abstraction
2019-10-21 16:13:09 +01:00
Wen Kokke
93a623ee85
Moved make_assignment to TSPL subdirectory.
2019-10-21 15:48:00 +01:00
Wen Kokke
2975ebea1f
Merge pull request #427 from pedrominicz/dev
...
Fix: missing close backquote on inline code.
2019-10-21 15:44:31 +01:00
Wen Kokke
67f0e89fea
Merge pull request #424 from mgttlinger/patch-1
...
Don't hardcode executable paths
2019-10-21 15:43:34 +01:00
Pedro Minicz
1615048a31
Fix: missing close backquote on inline code.
2019-10-21 11:41:11 -03:00
Philip Wadler
84449daa5c
Merge pull request #426 from vipo/dev
...
Fix Bit format
2019-10-21 13:16:03 +01:00
Vi Po
23ab17728d
Fix Bit format
2019-10-20 22:25:39 +03:00
Merlin Göttlinger
fcb5a56fa7
Don't hardcode executable paths
...
`bash` is not specified to reside under `/bin/bash` on all OSs. E.g. on NixOS it does not.
2019-10-15 09:56:56 +02:00
