Snippets by rightfold

Language	Title	Created	Visibility
Haskell	Bytecode interpreter		Public
Ocaml	Capture-avoiding substitution		Public
Scala	Associated types		Public
Haskell	Overloaded strings, pattern matching, and Eq insta		Public
Idris	De Bruijn indices		Public
ATS	Pass array to function by reference		Public
Haskell	Unboxed sums		Public
COBOL	COBOL file locking		Public
Ocaml	Equirecursive types		Public
Haskell	Covariant, contravariant, and invariant functor ex		Public
Haskell	Foldable and traversable		Public
Haskell	Security type system		Public
Haskell	What the fuck?		Public
COBOL	Escaping for XML output		Public
Haskell	For loop in Haskell		Public
COBOL	Gregorian calendar leap year check		Public
COBOL	COBOL numbers		Public
Haskell	"if a then b else not b" truth table		Public
Haskell	isAlpha Hangul		Public
Haskell	KleisliCoyoneda		Public