Closed UnkindPartition closed 11 years ago
Right now we don't resolve/annotate types. Probably need to add another constructor (or several) to NameContext for that.
Right now we don't resolve/annotate types. Probably need to add another constructor (or several) to NameContext for that.