Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/expose-array-back
/
.
/
tests
/
elab
/
coeIssue3.lean.out.expected
blob: 2dc9f0b98cfa97f234d6d17bea8ed871390478b5 [
file
] [
edit
]
Foo
.
chalk a
[{
name
:=
"foo"
}]
:
Unit
Foo
.
chalk a
[{
name
:=
"foo"
}]
:
Unit
