kara-lang

Pinned Repositories

Kara
An experimental functional programming language with dependent types, inspired by Swift and Idris.
Language:Swift44 2 02
kara-vscode-extension
Kara programming language support for Visual Studio Code
0 1 00

kara-lang's Repositories

kara-lang/Kara
An experimental functional programming language with dependent types, inspired by Swift and Idris.
Language:Swift44 2 02
kara-lang/kara-vscode-extension
Kara programming language support for Visual Studio Code
0 1 00