1 unstable release
0.0.1 | Sep 29, 2019 |
---|
#14 in #category-theory
7KB
171 lines
Rarrow
Rarrow is a category theory library in Rust that simulates higher kinded types with associated types using the Plug/Unplug method shown here.
TODO
- Implement all instances for standard types like Vector, Either, etc
- Implement instances for library types like im data structures
- Implement lenses
- Implement IO monad