| 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 |