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