X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=Tasks%2FExamples.dcl;h=e689081ee3f8b2d08d06e2e6a2ede1577d32989d;hb=HEAD;hp=bf962cd2d170a11aa29d1b681216a51f198ed79a;hpb=feacd1b50fca9624284f8b8c22c26d7a8071515d;p=mTask.git diff --git a/Tasks/Examples.dcl b/Tasks/Examples.dcl index bf962cd..e689081 100644 --- a/Tasks/Examples.dcl +++ b/Tasks/Examples.dcl @@ -3,6 +3,8 @@ definition module Tasks.Examples from Data.Map import :: Map import mTask +pinShare :: Main (ByteCode () Stmt) +faculty :: Int -> Main (ByteCode () Stmt) countAndLed :: Main (ByteCode () Stmt) blink :: UserLED -> Main (ByteCode () Stmt) count :: Main (ByteCode () Stmt)