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 c6e22a3b77 Update преди 55 минути
app Preparations for test suite преди 5 месеца
src Refactoring. Update readme. преди 5 месеца
test Refactioring преди 5 месеца
.gitignore Once again get rid of vs code workspace in gitignore преди 5 месеца
README.md Add link to examples преди 1 месец
comparison.md Update преди 55 минути
example.katrin Update преди 55 минути
ideas.md Update 'ideas.md' преди 9 часа
katrin.cabal Restructure project преди 5 месеца
links.md ja gute frage преди 2 месеца
package.yaml Now testing is done with Tasty. преди 5 месеца
stack.yaml Now testing is done with Tasty. преди 5 месеца
stages.md ja gute frage преди 2 месеца

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 examples of future code and some ground work for an algebraic compiler written in Haskell.

Ideas, comments and suggestions are always welcome!