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