The vague idea of a modern dependently-typed programming language.
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
Nicolas Lenz c6e22a3b77 Update 42秒前
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ヶ月前 Add link to examples 1ヶ月前 Update 42秒前
example.katrin Update 42秒前 Update '' 8時間前
katrin.cabal Restructure project 5ヶ月前 ja gute frage 2ヶ月前
package.yaml Now testing is done with Tasty. 5ヶ月前
stack.yaml Now testing is done with Tasty. 5ヶ月前 ja gute frage 2ヶ月前


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!