shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

Fix multiple problems in Hindley–Milner #239

Closed shingarov closed 6 months ago