Update for modern Haskell.
catseye
10 years ago
65 | 65 |
semantics", both defining the language and providing a ready tool.
|
66 | 66 |
|
67 | 67 |
> module Main where
|
68 | |
> import System
|
|
68 |
> import System.Environment
|
69 | 69 |
|
70 | 70 |
|
71 | 71 |
Inductive Definition of a Burro Program
|