|
|
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 |
|
Daniel Hillerström
|
e7465afb08
|
Update README.md
|
2018-07-02 16:50:06 +01:00 |
|
Daniel Hillerström
|
f6802a123b
|
Update README.md
|
2018-07-01 17:51:09 +01:00 |
|
Daniel Hillerström
|
17b2483089
|
Initial commit
|
2018-07-01 17:49:09 +01:00 |
|
