Some papers (most, for me) are a slog to work through but sometimes (rarely) a paper is so engrossing that I mean to save it and read it on my laptop or print it out and I end up skimming the entire thing on my phone
Is it the content? Is the it writing? I don't know
Follow
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
The only common author is Jesper Cockx... 👀 is this the connection