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

Merge consecutive recursive type variables #233

Closed AshleyYakeley closed 11 months ago

AshleyYakeley commented 1 year ago

Do this: rec a, rec b, F a b => rec a, F a a

AshleyYakeley commented 11 months ago

Duplicate of #62