StoppableTask type etc.

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.

https://pinafore.info/

GNU General Public License v2.0

32 stars 0 forks source link

Closed AshleyYakeley closed 5 months ago

AshleyYakeley commented 5 months ago

type StoppableTask +a;
subtype StoppableTask a <: Task (Maybe a);
stopTask: StoppableTask Any -> Action Unit;

etc.

AshleyYakeley commented 5 months ago

Done.