search

shingarov / MachineArithmetic

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

Second major overhaul of Hindley–Milner #381

Open shingarov opened 2 weeks ago