search

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.
https://pinafore.info/
GNU General Public License v2.0
32 stars 0 forks source link

Pinafore permits "rec a, a" #230

Closed AshleyYakeley closed 8 months ago

AshleyYakeley commented 10 months ago

Pinafore permits "rec a, a". As such it is a subtype and supertype of every type, collapsing the type system.

AshleyYakeley commented 8 months ago

Fixed.