kaprino-lang/kaprino

kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.