README.md 371 Bytes
Newer Older
Nicolas Lenz's avatar
Nicolas Lenz committed
1
# Katrin
Nicolas Lenz's avatar
Init  
Nicolas Lenz committed
2

Nicolas Lenz's avatar
Nicolas Lenz committed
3
*Katrin* will be a modern, functional, general-purpose programming language with dependent types.
Nicolas Lenz's avatar
Init  
Nicolas Lenz committed
4

Nicolas Lenz's avatar
Nicolas Lenz committed
5
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.
Nicolas Lenz's avatar
Nicolas Lenz committed
6

Nicolas Lenz's avatar
Nicolas Lenz committed
7
Ideas, questions, comments, suggestions are always welcome! Feel free to open an issue.