Snippets by rightfold

Language	Title	Created	Visibility
Scala	Associated types		Public
Scala	Who needs universal quantification, anyway?		Public
Scala	Type checker for the simply typed lambda calculus		Public
Scala	Type-safe expression evaluation with GADTs		Public