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 c6e22a3b77 Update vor 40 Minuten
app Preparations for test suite vor 5 Monaten
src Refactoring. Update readme. vor 5 Monaten
test Refactioring vor 5 Monaten
.gitignore Once again get rid of vs code workspace in gitignore vor 5 Monaten
README.md Add link to examples vor 1 Monat
comparison.md Update vor 40 Minuten
example.katrin Update vor 40 Minuten
ideas.md Update 'ideas.md' vor 8 Stunden
katrin.cabal Restructure project vor 5 Monaten
links.md ja gute frage vor 2 Monaten
package.yaml Now testing is done with Tasty. vor 5 Monaten
stack.yaml Now testing is done with Tasty. vor 5 Monaten
stages.md ja gute frage 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 examples of future code and some ground work for an algebraic compiler written in Haskell.

Ideas, comments and suggestions are always welcome!