import Devices.mTaskDevice
import iTasks._Framework.Serialization
+faculty :: Int -> Main (ByteCode () Stmt)
+faculty i = sds \y=i In sds \x=1 In {main =
+ IF (y <=. lit 1) (
+ pub x :. retrn
+ ) (
+ x =. x *. y :.
+ y =. y -. lit 1
+ )}
+
+countTo5 :: Main (ByteCode () Stmt)
+countTo5 = sds \x=0 In {main =
+ x =. x +. lit 1 :.
+ pub x :.
+ IF ( x >. lit 5) (
+ retrn
+ ) (
+ noOp
+ )}
+
count :: Main (ByteCode () Stmt)
count = sds \x=0 In {main = x =. x +. lit 1 :. pub x :. noOp}
,("blink", ledSelection @ blink)
,("blinkShare", treturn blinkShare)
,("count", treturn count)
+ ,("countTo5", treturn countTo5)
+ ,("faculty", enterInformation "Faculty" [] @ faculty)
]