Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/replace
/
.
/
tests
/
lean
/
letArrowOutsideDo.lean
blob: 71ce43654c806ab99df19fbd2bad14faa1831f1c [
file
] [
edit
]
def
myFun
(
n
:
Nat
)
:
IO
Nat
:=
let
q
←
(
10
:
Nat
)
n
+
q
