search

evincarofautumn / kitten

A statically typed concatenative systems programming language.
http://kittenlang.org/
Other
1.09k stars 39 forks source link

Unit tests for typechecking #96

Closed strager closed 7 years ago

strager commented 10 years ago

We need failure and success typecheck tests.