|
|
b66b20d4ed
|
Edits
|
2020-03-30 13:30:41 +01:00 |
|
|
|
a37812aad5
|
Revisions, parametricity.
|
2020-03-25 16:19:44 +00:00 |
|
|
|
753996ae9f
|
Revisions
|
2020-02-24 22:27:53 +00:00 |
|
|
|
ba1ea599d8
|
Fix rendering of rule labels in mathpar
|
2020-02-21 19:03:45 +00:00 |
|
|
|
e52bd8867f
|
Spell out bound labels.
|
2020-02-14 17:33:44 +00:00 |
|
|
|
e1efa7ade8
|
Bound labels.
|
2020-02-13 18:43:58 +00:00 |
|
|
|
e1cba25d8c
|
Progress on unary deep handlers.
|
2020-01-31 15:01:10 +00:00 |
|
|
|
d9ea4c3f9f
|
Performing effectful operations.
|
2020-01-30 18:13:33 +00:00 |
|
|
|
c25dbed7c5
|
Minor edits.
|
2020-01-30 15:53:07 +00:00 |
|
|
|
35a34ff064
|
Tracking of divergence (discussion).
|
2020-01-30 15:51:36 +00:00 |
|
|
|
bbbc6bc2da
|
Simplify example 4.1
|
2020-01-29 19:52:34 +00:00 |
|
|
|
539e5e6bb1
|
Tracking divergence.
|
2020-01-29 19:16:47 +00:00 |
|
|
|
f673ff3ba8
|
On tracking divergence.
|
2020-01-28 20:21:22 +00:00 |
|
|
|
11ade6aac3
|
Recursion
|
2020-01-28 19:00:10 +00:00 |
|
|
|
4f0710f9ff
|
Adjust theorem numbering.
|
2020-01-27 18:11:09 +00:00 |
|
|
|
0065489933
|
Progress and preservation
|
2020-01-27 17:31:47 +00:00 |
|
|
|
c1df6ed862
|
Unique decomposition.
|
2020-01-27 16:37:19 +00:00 |
|
|
|
cecd23e853
|
Capture-avoiding substitution.
|
2020-01-25 19:31:39 +00:00 |
|
|
|
6d8c70a8c6
|
Beginning of metatheoretic properties.
|
2020-01-24 20:29:05 +00:00 |
|
|
|
b2a2ca4bc4
|
Type substitution.
|
2020-01-23 17:27:59 +00:00 |
|
|
|
874b9182ad
|
Add missing case to the definition of FTV.
|
2020-01-23 15:07:40 +00:00 |
|
|
|
518739f291
|
Syntactic categories.
|
2020-01-23 15:03:18 +00:00 |
|
|
|
2c107f0234
|
Capture-avoiding substitution.
|
2020-01-10 17:06:54 +00:00 |
|
|
|
fbce5d3ff9
|
Dynamic semantics.
|
2020-01-09 17:01:49 +00:00 |
|
|
|
91ffbe0fcd
|
Typing rules.
|
2020-01-08 19:41:39 +00:00 |
|
|
|
aaa862b1c5
|
Typing
|
2019-12-20 17:01:35 +00:00 |
|
|
|
f7ab2dbea6
|
WIP
|
2019-12-20 11:55:57 +00:00 |
|
|
|
673c31718f
|
Progress
|
2019-12-18 19:57:19 +00:00 |
|
|
|
d4f7f8a853
|
On the syntax of types and terms.
|
2019-12-16 19:15:28 +00:00 |
|
|
|
3d6179970e
|
Update
|
2019-12-13 18:02:02 +00:00 |
|
|
|
1429a0b940
|
Update README
|
2019-12-13 17:54:33 +00:00 |
|
|
|
e52ccf66c0
|
Progress.
|
2019-12-13 17:52:51 +00:00 |
|
|
|
6102f9ad90
|
Bibliography configuration.
|
2019-12-05 15:34:56 +00:00 |
|
|
|
592b2f4fdf
|
Calculi macros.
|
2019-12-05 14:45:55 +00:00 |
|
|
|
f69c94d63b
|
Alternative tentative structure.
|
2019-11-27 18:15:58 +00:00 |
|
|
|
897ab3ed63
|
Update the gitignore ruleset.
|
2019-11-26 12:25:56 +00:00 |
|
|
|
120367f9d6
|
Another potential thesis title and structure.
|
2019-11-26 12:24:44 +00:00 |
|
|
|
ddd151a76c
|
Merge
|
2019-11-18 17:33:25 +00:00 |
|
|
|
6553c629ec
|
Font tweaking.
|
2019-11-18 17:32:00 +00:00 |
|
|
|
6c3b8509a0
|
Yet another potential title.
|
2019-09-20 11:25:17 -07:00 |
|
|
|
65431048d7
|
Alternative title and dedication.
|
2019-07-01 12:18:44 -07:00 |
|
|
|
8fb5e9a427
|
A potential section about how effect handlers fit into the zoo of control operators that already exists.
|
2019-02-14 15:14:15 +00:00 |
|
|
|
b53d8f7302
|
Bits for a potential motivation.
|
2019-02-13 10:14:19 +00:00 |
|
|
|
1859687d11
|
Adds subsection heading for type and effect inference.
|
2019-02-12 10:34:19 +00:00 |
|
|
|
123efd3894
|
Potential outline.
|
2019-02-12 10:31:47 +00:00 |
|
|
|
ad66243cb9
|
Another possible title.
|
2018-11-18 21:46:01 +01:00 |
|
|
|
2de4cb952b
|
Some notes. A potential title. Some potential chapter headings.
|
2018-07-04 22:50:51 +01:00 |
|
|
|
21d488a413
|
Update gitignore ruleset
|
2018-07-02 18:15:45 +01:00 |
|
|
|
b5bc71f9d6
|
Adds a Makefile
|
2018-07-02 18:15:03 +01:00 |
|
|
|
f6b009a3c2
|
Initial set-up
|
2018-07-02 18:14:46 +01:00 |
|
