blob: 0fe311b579e2c6d77b9369c7ffb5832d47d43321 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
concrete numbersPro of numbers = {
lincat
Number = {s : Str};
pattern
one = "1";
two = "2";
three = "3";
four = "4";
five = "5";
six = "6";
seven = "7";
eight = "8";
nine = "9";
ten = "10";
}
|