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 704a094cc9 Once again get rid of vs code workspace in gitignore před 2 měsíci
app Preparations for test suite před 2 měsíci
src Refactoring. Update readme. před 2 měsíci
test Refactioring před 2 měsíci
.gitignore Once again get rid of vs code workspace in gitignore před 2 měsíci
README.md Refactoring. Update readme. před 2 měsíci
example.katrin Lot of stuff, m'kay. před 3 měsíci
ideas.md Fix typo před 2 měsíci
katrin.cabal Restructure project před 2 měsíci
package.yaml Now testing is done with Tasty. před 2 měsíci
stack.yaml Now testing is done with Tasty. před 2 měsíci

README.md

Katrin

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

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

Ideas, comments and suggestions are always welcome!