Snippets by rightfold

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