The vague idea of a modern dependently-typed programming language.
Nevar pievienot vairāk kā 25 tēmas Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
Nicolas Lenz 704a094cc9 Once again get rid of vs code workspace in gitignore 2 mēnešus atpakaļ
app Preparations for test suite 2 mēnešus atpakaļ
src Refactoring. Update readme. 2 mēnešus atpakaļ
test Refactioring 2 mēnešus atpakaļ
.gitignore Once again get rid of vs code workspace in gitignore 2 mēnešus atpakaļ
README.md Refactoring. Update readme. 2 mēnešus atpakaļ
example.katrin Lot of stuff, m'kay. 3 mēnešus atpakaļ
ideas.md Fix typo 2 mēnešus atpakaļ
katrin.cabal Restructure project 2 mēnešus atpakaļ
package.yaml Now testing is done with Tasty. 2 mēnešus atpakaļ
stack.yaml Now testing is done with Tasty. 2 mēnešus atpakaļ

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!