blob: a4e406fe3f4ed712b349887e68149499a8f55ad0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
concrete MathIta of Math = {
lincat
Prop, Exp = Str ;
lin
And a b = a ++ "e" ++ b ;
Or a b = a ++ "o" ++ b ;
If a b = "si" ++ a ++ "allora" ++ b ;
Zero = "zero" ;
Successor x = "il successore di" ++ x ;
Sum x y = "la somma di" ++ x ++ "e" ++ y ;
Product x y = "il prodotto di" ++ x ++ "e" ++ y ;
Even x = x ++ "è pari" ;
Odd x = x ++ "è dispari" ;
Prime x = x ++ "è primo" ;
Equal x y = x ++ "è uguale a" ++ y ;
Less x y = x ++ "è inferiore a" ++ y ;
Greater x y = x ++ "è superiore a" ++ y ;
Divisible x y = x ++ "è divisibile per" ++ y ;
lincat
Var = Str ;
lin
X = "x" ;
Y = "y" ;
EVar x = x ;
EInt i = i.s ;
ANumberVar x = "un numero" ++ x ;
TheNumberVar x = "il numero" ++ x ;
}
|
