Daniel Hillerström dhil
0 Followers · 0 Following
Repositories
1
 Projects Packages Public Activity Starred Repositories
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-29 02:41:53 +01:00
77475e129b WIP
9c2da2c378 Fix typos in introduction
ee92e3b483 WIP
6c3eb0e9cf another example
a476679810 Another example
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-28 18:41:53 +01:00
3cb5e3622f Example
11b4888263 WIP
68110a67ef missing macros
d4ce54795c Minor fixes
2fbbf04bd4 WIP
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-28 02:41:53 +01:00
0885c75c1e WIP
0c4108cdea WIP
4259ddee4d WIP
5340615c26 WIP
28fd0505ce Asymptotic notation and other fixes
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-27 18:41:53 +01:00
fe6444ff3d Theorem 8.9
9fa5ebe6eb Citation for the three state equations.
79735da80a WIP
75d0dac161 WIP
a7d5117a64 Row polymorphism
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-27 02:41:53 +01:00
75eb07cee1 Typo
ccd1f59d57 WIP
e84b4605c2 WIP
a57ac855c2 Chapter 9
fac68ae974 WIP
Compare 6 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-26 10:41:53 +01:00
02b9a782f3 Typo
e419d52ee2 WIP
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-26 02:41:53 +01:00
98c79cc70d minor consistency fixes
2c51620a56 WIP
0f31e10582 WIP
9679a3cc82 WIP
559d9c2d37 CLR
Compare 8 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-25 18:41:53 +01:00
111b4cb35a Update
6f44524750 WIP
3438581826 Reword
650de85238 Effect sugar
Compare 4 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-25 02:41:53 +01:00
b47c60fe57 WIP
696266922a WIP
8fad146499 Note on higher order functions
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-24 18:41:53 +01:00
93793648ef Introduction draft
d9717b7434 Draft introdoctury bit
7c3942a564 WIP
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-24 02:41:53 +01:00
a462aa8a57 WIP
13d76a146b Update state of effectful programming
67a48945e9 Insert a few citations.
b73d9a213f More proper capitalisations
475f82324d Extend acknowledgements
Compare 6 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-23 18:41:53 +01:00
0e2015485a Update acknowledgements
7ec90b216d Fix typos in abstract
35af9ba572 State of effectful programming
a3273afa50 Combining monads
1945a7307c Yallop's thesis
Compare 7 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-23 02:41:53 +01:00
21fba05959 Other theses
a41fb391fc Update code
85757c48fd Effect handlers primer
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-22 02:41:53 +01:00
28b8503b97 WIP
2c63d11392 WIP
c254d293a9 fix typos
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-21 18:41:53 +01:00
eefa6e4ad4 Monadic reflection example
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-20 18:41:53 +01:00
8cc91fa4b1 WIP
15125f206c Intro WIP
ef04653ad2 WIP
1ede601435 Mention equations
9e7c74ef0f Reword
Compare 7 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-20 02:41:53 +01:00
d00227a57b WIP
e46cd37b01 WIP
26b12c123a Transparent state-passing
a3e97f9510 WIP
09cd57fbce Builtin state intro
Compare 6 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-19 18:41:53 +01:00
a46e2fd5d6 WIP
4ece98ba21 State example with delimited control
a609ca4b81 WIP
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-19 02:41:53 +01:00
d0061e18c2 WIP
c28aef1c9e Notes on why first-class control matters
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-18 10:41:53 +01:00
8ecfadb94e Fix Ref macro