repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
a7e6283648c46ad3b14d6ff5abe05bae7745da10
[clean-tests.git]
/
whileMult.icl
1
implementation module whileMult
2
3
import StdEnv
4
import while
5
6
instance evali WMult where evali (WMult a b) = \g->evali a g * evali b g
7
instance print WMult where print (WMult a b) = print a +++ " * " +++ print b