Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/evalDo.lean
blob: 5f353cb849a7c03d24adff78385a89bc32d78ac3 [file] [edit]
/--
info: hello
world
-/
#guard_msgs in
#eval do
IO.println "hello"
IO.println "world"