All posts for tag "Miscellaneous"
A Language Agnostic Introduction to Dependent Types
An explanation of dependent types that assumes only basic familiarity with any statically typed programming language - August 16, 2021
Additional Small Changes
The design for the website now has more or less stabilized - November 20, 2012