The vague idea of a modern dependently-typed programming language.
Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.
Nicolas Lenz c6e22a3b77 Update 1 минуту назад
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 1 минуту назад
example.katrin Update 1 минуту назад
ideas.md Update 'ideas.md' 8 часов назад
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!