conal / paper-2021-language-derivatives

Paper and talk

conal/paper-2021-language-derivatives Issues

[Doubt] u-suffix vs u-prefix
Updated a year ago1
page 2: clarification of statement around proofs
Closed 4 years ago3
page 2: clarification of phrasing
Updated 4 years ago1
page 3: missing part of footnote
Closed 4 years ago2
sometimes \in is blue sometimes not
Closed 4 years ago2
typo: page 1: element -> elements
Closed 4 years ago
page 3: strange footnote situation
Closed 4 years ago1
page 3: nice-to-have - reference to .lagda file and examples?
Updated 4 years ago
Typo of "bisimulation" as "bisumulation"
Closed 4 years ago1
typo
Closed 4 years ago1
Broken links to the paper and the draft talk
Closed 4 years ago1