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

Clean up type variables in inferred types #164

Closed AshleyYakeley closed 2 years ago

AshleyYakeley commented 2 years ago

Rather than d *: c -> c -> d, do a final rename to get a *: b -> b -> a

AshleyYakeley commented 2 years ago

Done.