garden
a little garden to explore in
Modules
- CPS Delimited continuation monad transformer
- Day
- Demos
- HIO Hierarchical IO
- LCPS Linear delimited continuation monad transformer
- Lists Different types of lists exploiting type arithmetic
- Main
- Nested Defines how to nest functors
- Optics
- Orc Distributed computation Orchestration language
- Peano Type-level natural numbers, ordering, and arithmetic.
- Servant
- Sheet Spreadsheets, what else?
- Tubes Stream processing with a series of tubes
- UI
- Weeds
- WhyNot