At this point it's just [a collection of ideas](ideas.md), [some examples of future code](example.katrin) and some ground work for an algebraic compiler written in Haskell.
Ideas, comments and suggestions are always welcome!
Ideas, questions, comments, suggestions are always welcome! Feel free to open an issue.