search

bitonic / tog

26 stars 3 forks source link

Check that things are "instantiated" #14

Open bitonic opened 10 years ago

bitonic commented 10 years ago

Specifically, if we have a type signature, a data decl, or a record decl, at some point a body should follow.