The vague idea of a modern dependently-typed programming language.
Du kannst nicht mehr als 25 Themen auswählen Themen müssen mit entweder einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
Nicolas Lenz 704a094cc9 Once again get rid of vs code workspace in gitignore vor 2 Monaten
app Preparations for test suite vor 2 Monaten
src Refactoring. Update readme. vor 2 Monaten
test Refactioring vor 2 Monaten
.gitignore Once again get rid of vs code workspace in gitignore vor 2 Monaten
README.md Refactoring. Update readme. vor 2 Monaten
example.katrin Lot of stuff, m'kay. vor 3 Monaten
ideas.md Fix typo vor 2 Monaten
katrin.cabal Restructure project vor 2 Monaten
package.yaml Now testing is done with Tasty. vor 2 Monaten
stack.yaml Now testing is done with Tasty. vor 2 Monaten

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!