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