Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#43
Proof mode intro pattern lexer: _ should be allowed as part of varianme names
A_B
is a fine variable name. It is parsed as
A _ B
.