search

shingarov / MachineArithmetic

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

Merge reflection #267

Closed shingarov closed 4 months ago

shingarov commented 4 months ago

Merging.

NB: this PR includes PLE and all the α-renaming fixes from @janvrany .