This has only happened twice so idk if it counts as a pattern
Pattern matching without K and Definitional Proof-Irrelevance without K
For someone who is on #AxiomKCrew this is ironic
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
The only common author is Jesper Cockx... 👀 is this the connection