X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=Tasks%2FExamples.dcl;h=57f0c852751274dae2833842301753ef6c84ec1e;hb=41ba74ece94d91858a6683a58a0f064c36900c4b;hp=414fd6858096019175f865f1dd905ee0618e61ad;hpb=639cdcf1c26177c87237bd5790e89184f531731d;p=mTask.git

diff --git a/Tasks/Examples.dcl b/Tasks/Examples.dcl
index 414fd68..57f0c85 100644
--- a/Tasks/Examples.dcl
+++ b/Tasks/Examples.dcl
@@ -3,8 +3,11 @@ 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)
 blinkShare :: Main (ByteCode () Stmt)
 ledtOn :: UserLED -> Main (ByteCode () Stmt)
 ledtOff :: UserLED -> Main (ByteCode () Stmt)