X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskSimulation.dcl;h=1669f23ca12593a7681b3e76033c8f3e41f96f24;hb=9f47008270ad2ab66d7787eb29b0f83a82a8e42e;hp=16ceee4e22acf12948e3408bba2851a697afdddc;hpb=93cabbcd5d18b7b45d6f43a6ff39f94cfcb95522;p=mTask.git diff --git a/mTaskSimulation.dcl b/mTaskSimulation.dcl index 16ceee4..1669f23 100644 --- a/mTaskSimulation.dcl +++ b/mTaskSimulation.dcl @@ -3,10 +3,9 @@ definition module mTaskSimulation import iTasks.API.Core.Types import mTask -//:: Display a = Display a +:: Display a = Display a -//derive class iTask Display -//instance zero State` +derive class iTask Display eval :: (Main (Eval t p)) -> [String] | toString t :: State` =