Check that declared types are instances of inferred. - Githubissues

evincarofautumn / kitten

A statically typed concatenative systems programming language.

http://kittenlang.org/

Other

1.09k stars 39 forks source link

Check that declared types are instances of inferred. #105

Closed evincarofautumn closed 10 years ago

evincarofautumn commented 10 years ago

WIP for #94.

evincarofautumn commented 10 years ago

Subsumed by #112.