Language | Title | Created | Visibility |
---|---|---|---|
Lazy lists | Public | ||
Lambda types in C++ | Public | ||
Parity in Mercury | Public | ||
Subset preprocessor | Public | ||
Ad-hoc associativity | Public | ||
Units of measure | Public | ||
Defunctionalized predicates | Public | ||
I/O actions in JavaScript | Public | ||
Generate both a Haskell function and a SQL express | Public | ||
Custom string methods | Public | ||
Semigroup and monoid type classes in Bash | Public | ||
Oxford comma | Public | ||
Safe matrix addition | Public | ||
Sign-indexed Peano numbers | Public | ||
ST safety: Skolem scopes | Public | ||
ST safety: nested computations | Public | ||
A monad is just a monoid in the category of endofu | Public | ||
Powers of two | Public | ||
Literate PureScript | Public | ||
OCaml modules | Public |