words with little/ambiguous lexical meaning that express grammatical relationships or specify the speaker’s attitude/mood of the speaker; e.g. articles, pronouns, adpositions, conjunctions, auxiliary verbs, interjections, particles
Event URL : SMS Spring Meeting on Formalization and Proof Assistants Polynomial functors are one of the most useful tools in category theory. They have wide-ranging applications across functional pro
The function composition operator in Haskell, i.e. (.), is much more complicated than at first sight, or rather, the function composition operator plus the type system and default currying of function
