fd3d42ae33
git-subtree-dir: golang-lean git-subtree-mainline:6487c7046fgit-subtree-split:f5f1701922
10 lines
243 B
Text
10 lines
243 B
Text
import GolangLean
|
|
|
|
open GolangLean in
|
|
def main (args : List String) : IO UInt32 := do
|
|
match args with
|
|
| [] => runREPL; return 0
|
|
| [path] => runFile path
|
|
| _ =>
|
|
IO.eprintln "Usage: golang-lean [script.go]"
|
|
return 1
|