Closed bernardnormier closed 11 months ago
See also #181.
Do we care about de-sycnronizing (specifically renaming HelloI
-> Printer
) this one demo from the rest? Should we update all of the minimal demos?
Yes, I am in favor of updating all the other minimal demos.
A small update to the minimal demo to make it more correct / cleaner.