Snippets by rightfold

Language	Title	Created	Visibility
Scala	Who needs universal quantification, anyway?		Public
Clojure	Logger combinators		Public
Scala	Type checker for the simply typed lambda calculus		Public
Scala	Type-safe expression evaluation with GADTs		Public
Ocaml	Monads and I/O actions in OCaml		Public
Haskell	Boaty McBoatface		Public
Haskell	SIMD in Haskell		Public
Erlang	Type checker for the simply typed lambda calculus		Public
C	UUID to text		Public