|
|
68110a67ef
|
missing macros
|
2021-05-28 12:49:36 +01:00 |
|
|
|
d4ce54795c
|
Minor fixes
|
2021-05-28 12:21:14 +01:00 |
|
|
|
2fbbf04bd4
|
WIP
|
2021-05-28 10:51:07 +01:00 |
|
|
|
0885c75c1e
|
WIP
|
2021-05-28 01:09:53 +01:00 |
|
|
|
0c4108cdea
|
WIP
|
2021-05-28 00:11:34 +01:00 |
|
|
|
4259ddee4d
|
WIP
|
2021-05-28 00:07:19 +01:00 |
|
|
|
5340615c26
|
WIP
|
2021-05-28 00:00:00 +01:00 |
|
|
|
28fd0505ce
|
Asymptotic notation and other fixes
|
2021-05-27 19:35:06 +01:00 |
|
|
|
fe6444ff3d
|
Theorem 8.9
|
2021-05-27 13:49:42 +01:00 |
|
|
|
9fa5ebe6eb
|
Citation for the three state equations.
|
2021-05-27 13:15:30 +01:00 |
|
|
|
79735da80a
|
WIP
|
2021-05-27 13:04:43 +01:00 |
|
|
|
75d0dac161
|
WIP
|
2021-05-27 11:47:47 +01:00 |
|
|
|
a7d5117a64
|
Row polymorphism
|
2021-05-27 10:50:31 +01:00 |
|
|
|
75eb07cee1
|
Typo
|
2021-05-27 00:57:03 +01:00 |
|
|
|
ccd1f59d57
|
WIP
|
2021-05-27 00:50:09 +01:00 |
|
|
|
e84b4605c2
|
WIP
|
2021-05-27 00:35:40 +01:00 |
|
|
|
a57ac855c2
|
Chapter 9
|
2021-05-26 23:46:57 +01:00 |
|
|
|
fac68ae974
|
WIP
|
2021-05-26 21:41:59 +01:00 |
|
|
|
a4d9cc4edd
|
WIP
|
2021-05-26 21:41:09 +01:00 |
|
|
|
02b9a782f3
|
Typo
|
2021-05-26 10:30:55 +01:00 |
|
|
|
e419d52ee2
|
WIP
|
2021-05-26 10:28:44 +01:00 |
|
|
|
98c79cc70d
|
minor consistency fixes
|
2021-05-26 01:55:52 +01:00 |
|
|
|
2c51620a56
|
WIP
|
2021-05-26 01:15:07 +01:00 |
|
|
|
0f31e10582
|
WIP
|
2021-05-26 01:07:20 +01:00 |
|
|
|
9679a3cc82
|
WIP
|
2021-05-26 01:02:20 +01:00 |
|
|
|
559d9c2d37
|
CLR
|
2021-05-26 01:02:14 +01:00 |
|
|
|
5c835f5179
|
Fiddling with tikz
|
2021-05-25 21:08:30 +01:00 |
|
|
|
836d85ea99
|
Break up tables
|
2021-05-25 20:18:52 +01:00 |
|
|
|
622932494d
|
Fix typos
|
2021-05-25 19:28:17 +01:00 |
|
|
|
111b4cb35a
|
Update
|
2021-05-25 14:35:51 +01:00 |
|
|
|
6f44524750
|
WIP
|
2021-05-25 13:28:10 +01:00 |
|
|
|
3438581826
|
Reword
|
2021-05-25 13:03:22 +01:00 |
|
|
|
650de85238
|
Effect sugar
|
2021-05-25 12:59:01 +01:00 |
|
|
|
b47c60fe57
|
WIP
|
2021-05-25 01:19:48 +01:00 |
|
|
|
696266922a
|
WIP
|
2021-05-25 00:20:51 +01:00 |
|
|
|
8fad146499
|
Note on higher order functions
|
2021-05-24 18:51:40 +01:00 |
|
|
|
93793648ef
|
Introduction draft
|
2021-05-24 15:28:02 +01:00 |
|
|
|
d9717b7434
|
Draft introdoctury bit
|
2021-05-24 14:15:58 +01:00 |
|
|
|
7c3942a564
|
WIP
|
2021-05-24 11:49:38 +01:00 |
|
|
|
a462aa8a57
|
WIP
|
2021-05-24 01:48:25 +01:00 |
|
|
|
13d76a146b
|
Update state of effectful programming
|
2021-05-23 22:42:28 +01:00 |
|
|
|
67a48945e9
|
Insert a few citations.
|
2021-05-23 18:48:14 +01:00 |
|
|
|
b73d9a213f
|
More proper capitalisations
|
2021-05-23 18:47:58 +01:00 |
|
|
|
475f82324d
|
Extend acknowledgements
|
2021-05-23 18:43:33 +01:00 |
|
|
|
6f8c5364f2
|
Correct capitalisation
|
2021-05-23 18:43:24 +01:00 |
|
|
|
0e2015485a
|
Update acknowledgements
|
2021-05-23 18:24:44 +01:00 |
|
|
|
7ec90b216d
|
Fix typos in abstract
|
2021-05-23 17:26:03 +01:00 |
|
|
|
35af9ba572
|
State of effectful programming
|
2021-05-23 16:26:08 +01:00 |
|
|
|
a3273afa50
|
Combining monads
|
2021-05-23 15:33:28 +01:00 |
|
|
|
1945a7307c
|
Yallop's thesis
|
2021-05-23 14:12:35 +01:00 |
|
