Don't produce `DecidableRefinement` out of `ΛEApp>>embed`: replace with proper Smalltalk - Githubissues

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

Don't produce `DecidableRefinement` out of `ΛEApp>>embed`: replace with proper Smalltalk #224

Closed shingarov closed 8 months ago

shingarov commented 8 months ago

See also #174 , #75