 Haskell | Status | 8 years ago | Public |
| Haskell | Instances from GADTs | 8 years ago | Public |
| Haskell | Robust | 8 years ago | Public |
 Idris | Merge sort | 8 years ago | Public |
| Idris | HTTP response | 8 years ago | Public |
 C | mmap | 8 years ago | Public |
 Python | Must indent single-statement body | 8 years ago | Public |
 COBOL | Booleans in COBOL | 8 years ago | Public |
 Raku | Groups in Perl 6 | 8 years ago | Public |
| Raku | Capture-avoiding substitution | 8 years ago | Public |
 PHP | Task applicative in PHP | 8 years ago | Public |
 Clojure | Monoids in Clojure | 8 years ago | Public |
| Raku | Square root of a path | 8 years ago | Public |
 Ocaml | sequence in OCaml | 8 years ago | Public |
| Haskell | Cancel TQueue read | 8 years ago | Public |
| Haskell | SSA usage caching | 8 years ago | Public |
 C# | Method shadowing in C# | 8 years ago | Public |
 F# | Units of measurement | 8 years ago | Public |
| Haskell | Detect arithmetic underflow with unsigned integers | 8 years ago | Public |
| Haskell | std::function | 8 years ago | Public |