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 2020-07-16 06:56:31 +01:00
c50ca96e56 Fix typo
566e5840d2 Begin CPS chapter
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-04-09 22:36:31 +01:00
b96401a756 Combined substitution maps
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-04-08 22:36:31 +01:00
e98fd67e8b Define a macro for definitional equality up to alpha-conversion.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-04-08 14:36:31 +01:00
4bc6da9010 Fix positioning of derivation
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-04-06 22:36:31 +01:00
3fc9899400 Variant typing example
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-04-03 22:36:31 +01:00
cb1d5c056a fix type substitution
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-04-01 22:36:31 +01:00
32f4e2a506 Clarify
5355ffa031 Examples
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-03-31 14:36:31 +01:00
4a79664b8f Fix compilation bug
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-03-30 14:36:31 +01:00
b66b20d4ed Edits
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-03-25 21:36:31 +00:00
a37812aad5 Revisions, parametricity.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-02-25 05:36:31 +00:00
753996ae9f Revisions
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-02-21 21:36:31 +00:00
ba1ea599d8 Fix rendering of rule labels in mathpar
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-02-14 21:26:31 +00:00
e52bd8867f Spell out bound labels.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-02-13 21:22:06 +00:00
e1efa7ade8 Bound labels.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-31 21:17:07 +00:00
e1cba25d8c Progress on unary deep handlers.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-30 21:07:08 +00:00
d9ea4c3f9f Performing effectful operations.
c25dbed7c5 Minor edits.
35a34ff064 Tracking of divergence (discussion).
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-29 21:07:07 +00:00
bbbc6bc2da Simplify example 4.1
539e5e6bb1 Tracking divergence.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-28 20:57:32 +00:00
f673ff3ba8 On tracking divergence.
11ade6aac3 Recursion
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-27 20:47:33 +00:00
4f0710f9ff Adjust theorem numbering.
0065489933 Progress and preservation
c1df6ed862 Unique decomposition.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-25 20:47:32 +00:00
cecd23e853 Capture-avoiding substitution.