Open shingarov opened 2 months ago
https://github.com/janvrany/Tinyrossa/blob/MoreVMs24/src/Tinyrossa-Formal/Prog.extension.st claims Prog is a Monoid. We should squint at this closer (e.g., what about deduplicating PApp1 etc), and if the claim is good, take that extension out of Tinyrossa and move it to the class definition of Prog in core Sprite.
Prog
PApp1
https://github.com/janvrany/Tinyrossa/blob/MoreVMs24/src/Tinyrossa-Formal/Prog.extension.st claims
Progis a Monoid. We should squint at this closer (e.g., what about deduplicatingPApp1etc), and if the claim is good, take that extension out of Tinyrossa and move it to the class definition ofProgin core Sprite.