repositories
/
clean-tests.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
e5aaa59
65e5bcc
)
Merge branch 'master' of git.martlubbers.net:clean-tests
author
Mart Lubbers
<mart@martlubbers.net>
Fri, 5 Jun 2020 08:38:38 +0000
(10:38 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Fri, 5 Jun 2020 08:38:38 +0000
(10:38 +0200)
1
2
test.icl
patch
|
diff1
|
diff2
|
blob
|
history
diff --cc
test.icl
index
13d4dd1
,
6df4935
..
21d4a89
---
1
/
test.icl
---
2
/
test.icl
+++ b/
test.icl
@@@
-1,9
-1,5
+1,3
@@@
module test
+ class C m :: u:m -> v:m
- import iTasks
-
- Start w = doTasks hello w
-
- hello :: Task String
- hello = enterInformation [] <<@ Title "What is your name?"
- >>? \n->viewInformation [] ("Hello " +++ n) <<@ Title "Hello"
-//Start :: *World -> *(State () *World)
-Start = 42