| Language | Title | Created | Visibility | 
|---|---|---|---|
| Seq With Escaping Exceptions | Public | ||
| Idris String Replace (Total) | Public | ||
| Turnstile State Machine | Public | ||
| Max Adjacent Product | Public | ||
| Seq.unfold maze example | Public | ||
| hack OOP | Public | ||
| streams | Public | ||
| xor assoc truth table | Public | ||
| xor assoc truth table | Public | ||
| Generic-ish monoid | Public | ||
| Bounded length string | Public |