Generic Evaluators – defining language-generic evaluators (lazy/eager/stack &c)languagengine.co 1psygnisfive10y1 comment
Making Sense of Subtypes (a tutorial on how not to mess them up)languagengine.co 2psygnisfive11ydiscuss