repositories
/
clean-tests.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fe990e6
)
a5
author
Mart Lubbers
<mart@martlubbers.net>
Thu, 11 Oct 2018 13:27:06 +0000
(15:27 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Thu, 11 Oct 2018 13:27:06 +0000
(15:27 +0200)
afp/a5/a5.icl
patch
|
blob
|
history
diff --git
a/afp/a5/a5.icl
b/afp/a5/a5.icl
index
be81700
..
1351bd6
100644
(file)
--- a/
afp/a5/a5.icl
+++ b/
afp/a5/a5.icl
@@
-28,7
+28,7
@@
Start w = doTasks login w
login :: Task [Question]
login = enterInformation "Enter your function" []
- >>
=
\function->case function of
+ >>
~
\function->case function of
Teacher = teacher
Admin = admin
Student = student
@@
-62,6
+62,7
@@
where
admin :: Task [Question]
admin = updateSharedInformation "Questions" [] questions
+ >>* [OnAction (Action "Quit") (always login)]
teacher :: Task [Question]
teacher = forever