iitalics/Cog-Lang

Statically typed programming language with type inference

wip