The vague idea of a modern dependently-typed programming language.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Nicolas Lenz 61af91b5df Folds link 1 month ago
app WHOOOHOO: First working compilation 1 month ago
examples Stage 1, pakage 1 month ago
src Fix parsing of newlines 1 month ago
test Implement stage 1 1 month ago
.gitignore Stage 1, pakage 1 month ago
README.md Update readme 1 month ago
comparison.md A whole lot of stuff. 1 month ago
ideas.md Folds link 1 month ago
package.yaml A whole lot of stuff. 1 month ago
roadmap.md Rename stages to roadmap 1 month ago
stack.yaml Stage 1, pakage 1 month ago
test.katrin Fix parsing of newlines 1 month ago

README.md

Katrin

Katrin is a modern, functional, general-purpose programming language with dependent types.

At this point it’s just a collection of ideas, some examples of future code and some ground work for an algebraic compiler written in Haskell.

Ideas, questions, comments, suggestions are always welcome! Feel free to open an issue.