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