*Katrin*is a modern, functional, general-purpose programming language with dependent types.
*Katrin*will be a modern, functional, general-purpose programming language with dependent types.
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.
