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 |