changeset 22297 | 757ace95c4a0 |
parent 21922 | 76e1fce071aa |
child 22845 | 5f9138bcb3d7 |
22296:c9e7c6e73de3 | 22297:757ace95c4a0 |
---|---|
6 |
6 |
7 theory Codegenerator |
7 theory Codegenerator |
8 imports ExecutableContent |
8 imports ExecutableContent |
9 begin |
9 begin |
10 |
10 |
11 code_gen "*" (SML #) (Haskell -) (OCaml -) |
11 code_gen "*" (SML) (Haskell) (OCaml) |
12 code_gen (SML #) (Haskell -) (OCaml -) |
|
12 |
13 |
13 end |
14 end |