Tagged “drafts”
- The functorial approach to binding
- From entailment to contextual refinement
- A primer on delimited control
- Mechanising staged logic
- Getting started with setoid rewriting in Coq
- Satisfying Music Theory I
- SATB Bird
See all tags.
See all tags.