Noratrieb/lambda-calculus
1
0
Fork 0
mirror of https://github.com/Noratrieb/lambda-calculus.git synced 2026-03-15 02:26:04 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

λ

Browse source
This commit is contained in:
nora 2022-01-30 17:38:55 +01:00
parent 29b0d35a62
commit 0d3c4d913e
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/lib.rs
View file

@ -81,7 +81,10 @@ mod parser {
}) })
.labelled("abstraction"); .labelled("abstraction");
abstraction.then_ignore(end()) ident
.or(abstraction)
.or(expr.delimited_by(Token::ParenO, Token::ParenC))
.then_ignore(end())
}) })
} }
} }