Namespaces #26
Labels
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
We want Lean's namespaces for the following reason:
#[1,2,3].map (\x -> x + 1)
The way it should be implemented:
The text was updated successfully, but these errors were encountered: