The vague idea of a modern dependently-typed programming language.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Nicolas Lenz c6e22a3b77 Update 51 分之前
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 51 分之前
example.katrin Update 51 分之前 Update '' 9 小時之前
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!