| Language | Title | Created | Visibility |
|---|---|---|---|
| Integer to UUID | Public | ||
| Verypure | Public | ||
| ZIO in Haskell | Public | ||
| Locals without MonomorphismRestriction | Public | ||
| Locals with MonomorphismRestriction | Public | ||
| Generic coyoneda | Public | ||
| Bytecode interpreter | Public | ||
| Overloaded strings, pattern matching, and Eq insta | Public | ||
| Unboxed sums | Public | ||
| Covariant, contravariant, and invariant functor ex | Public | ||
| Foldable and traversable | Public | ||
| Security type system | Public | ||
| What the fuck? | Public | ||
| For loop in Haskell | Public | ||
| "if a then b else not b" truth table | Public | ||
| isAlpha Hangul | Public | ||
| KleisliCoyoneda | Public | ||
| Status | Public | ||
| Instances from GADTs | Public | ||
| Robust | Public |