Read news on notation with our app.
Read more in the app
Prefer do notation over Applicative operators when assembling records (2024)
Stupidly Obscure Programming in a Troubled Time (2018)
Notation as a Tool of Thought (1979)
Sequent Calculus and Notation – Par Part 1
