Add assertion that the vulgar base of TBase is a ΛBase - Githubissues

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

Add assertion that the vulgar base of TBase is a ΛBase #196

Closed shingarov closed 9 months ago