search

bitonic / tog

26 stars 3 forks source link

Fixed typing rule (comment) for constructor elaboration #17

Closed andreasabel closed 7 years ago

andreasabel commented 7 years ago

Fixed typing rule (comment) for constructor elaboration