Rationalize `#z3sort` in anticipation of Algebraic Datatypes - Githubissues

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

Rationalize `#z3sort` in anticipation of Algebraic Datatypes #359

Closed shingarov closed 1 month ago