my blog lives here now
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Amélia Liao 21bc57abd4 Reinit 2 years ago
..
.2020-09-09-typing-proof.md Reinit 2 years ago
2016-08-17-parsec.md Reinit 2 years ago
2016-08-23-hasochism.lhs Reinit 2 years ago
2016-08-26-parsec2.lhs Reinit 2 years ago
2017-08-01-delimcc.md Reinit 2 years ago
2017-08-02-urnmatch.md Reinit 2 years ago
2017-08-06-constraintprop.md Reinit 2 years ago
2017-08-15-multimethods.md Reinit 2 years ago
2017-09-08-dependent-types.md Reinit 2 years ago
2018-01-18-amulet.md Reinit 2 years ago
2018-02-18-amulet-tc2.md Reinit 2 years ago
2018-03-14-amulet-safety.md Reinit 2 years ago
2018-03-27-amulet-gadts.md Reinit 2 years ago
2018-08-11-amulet-updates.md Reinit 2 years ago
2019-01-28-mldelta.lhs Reinit 2 years ago
2019-09-22-amulet-records.md Reinit 2 years ago
2019-09-25-amc-prove.md Reinit 2 years ago
2019-09-29-amc-prove-interactive.md Reinit 2 years ago
2019-10-04-amulet-kinds.md Reinit 2 years ago
2019-10-19-amulet-quicklook.md Reinit 2 years ago
2020-01-31-lazy-eval.lhs Reinit 2 years ago
2020-07-12-continuations.md Reinit 2 years ago
2020-10-30-reflecting-equality.md Reinit 2 years ago
2021-01-15-induction.md Reinit 2 years ago
2021-03-07-cubical.md Reinit 2 years ago
2021-06-07-ax-j.md Reinit 2 years ago
2021-06-21-cubical-sets.md Reinit 2 years ago
2021-09-03-parsing-layout.md Reinit 2 years ago
2021-09-05-outsidein-x.md Reinit 2 years ago
2021-12-17-isoToEquiv.md Reinit 2 years ago