index
:
tests
master
Tests with the Clean language
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
example_int
/
verify.icl
blob: cf0d0a1fe8f88fb0155917efad2d4853fe222b13 (
plain
) (
blame
)
1
2
3
4
5
module
verify
import
StdEnv
,
example_int
Start
=
add
5
10
