The vague idea of a modern dependently-typed programming language.
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.
Nicolas Lenz c6e22a3b77 Update před jednou hodinou
app Preparations for test suite před 5 měsíci
src Refactoring. Update readme. před 5 měsíci
test Refactioring před 5 měsíci
.gitignore Once again get rid of vs code workspace in gitignore před 5 měsíci
README.md Add link to examples před 1 měsícem
comparison.md Update před jednou hodinou
example.katrin Update před jednou hodinou
ideas.md Update 'ideas.md' před 9 hodinami
katrin.cabal Restructure project před 5 měsíci
links.md ja gute frage před 2 měsíci
package.yaml Now testing is done with Tasty. před 5 měsíci
stack.yaml Now testing is done with Tasty. před 5 měsíci
stages.md ja gute frage 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 examples of future code and some ground work for an algebraic compiler written in Haskell.

Ideas, comments and suggestions are always welcome!