Nice paper on an interesting topic. I’ve not had a chance to read the paper thoroughly, but the judgmental equality ended up weaker than I anticipated. I’d hope we’d end up with alpha-equivalent codefs being…
I assume you refer to his results regarding axiomatic systems for arithmetic on natural numbers? If a law attempts to capture this, then, sure, it's problematic. But I don't that's very common. From what I've seen,…
I'm using what is probably the simplest static site generator: cat. for f in texts/*.html; do cat preamble.html "$f" postamble.html > out/$(basename "$f") done The front-page is written manually.
Nice paper on an interesting topic. I’ve not had a chance to read the paper thoroughly, but the judgmental equality ended up weaker than I anticipated. I’d hope we’d end up with alpha-equivalent codefs being…
I assume you refer to his results regarding axiomatic systems for arithmetic on natural numbers? If a law attempts to capture this, then, sure, it's problematic. But I don't that's very common. From what I've seen,…
I'm using what is probably the simplest static site generator: cat. for f in texts/*.html; do cat preamble.html "$f" postamble.html > out/$(basename "$f") done The front-page is written manually.