| Language | Title | Created | Visibility | 
|---|---|---|---|
| Running Summary Stats | Public | ||
| BIN -> MIDÂ Routing Strategy | Public | ||
| Binary Search Tree | Public | ||
| Ackermann functiom | Public | ||
| Rules non-exhaustive pattern match | Public | ||
| Number Literals | Public | ||
| Writer Monad | Public | ||
| Cont Monad | Public | ||
| HList | Public | ||
| type family Or | Public | ||
| typeName | Public | ||
| Set Theory Expression Simplification | Public | ||
| IO a -> StateT String IO (Either IOException a) | Public | ||
| GHC Generics | Public | ||
| Eq Instance | Public | ||
| FunctionalDependencies - Naive | Public | ||
| Monad Transformers | Public | ||
| MTL Orphan Instances | Public | ||
| HList | Public | ||
| Fast Logger | Public |