The vague idea of a modern dependently-typed programming language.
您最多选择25个主题 主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符
Nicolas Lenz c6e22a3b77 Update 58 分钟前
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 58 分钟前
example.katrin Update 58 分钟前
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!