evincarofautumn / kitten

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

Machine-check examples #78

Closed evincarofautumn closed 10 years ago

evincarofautumn commented 10 years ago

They keep getting checked and updated manually. Simple verification options such as --check-syntax or --check-types would let these be checked automatically, and would be useful generally.