The vague idea of a modern dependently-typed programming language.
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
Nicolas Lenz 704a094cc9 Once again get rid of vs code workspace in gitignore 2ヶ月前
app Preparations for test suite 2ヶ月前
src Refactoring. Update readme. 2ヶ月前
test Refactioring 2ヶ月前
.gitignore Once again get rid of vs code workspace in gitignore 2ヶ月前
README.md Refactoring. Update readme. 2ヶ月前
example.katrin Lot of stuff, m'kay. 3ヶ月前
ideas.md Fix typo 2ヶ月前
katrin.cabal Restructure project 2ヶ月前
package.yaml Now testing is done with Tasty. 2ヶ月前
stack.yaml Now testing is done with Tasty. 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 ground work for an algebraic compiler written in Haskell.

Ideas, comments and suggestions are always welcome!