The vague idea of a modern dependently-typed programming language.
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
Nicolas Lenz 704a094cc9 Once again get rid of vs code workspace in gitignore il y a 2 mois
app Preparations for test suite il y a 2 mois
src Refactoring. Update readme. il y a 2 mois
test Refactioring il y a 2 mois
.gitignore Once again get rid of vs code workspace in gitignore il y a 2 mois
README.md Refactoring. Update readme. il y a 2 mois
example.katrin Lot of stuff, m'kay. il y a 3 mois
ideas.md Fix typo il y a 2 mois
katrin.cabal Restructure project il y a 2 mois
package.yaml Now testing is done with Tasty. il y a 2 mois
stack.yaml Now testing is done with Tasty. il y a 2 mois

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!