Merge requests · loutr / Proost · GitLab

Resolve "Bug(Parser): no error when defining a declaration with the same name as a definition"

!101 · created Nov 12, 2023 by pigeonmoelleux
Good first issue Parser bug
- Merged
- 5
- Approved
updated Jan 11, 2024
Resolve "Parser simplification"

!99 · created Jul 24, 2023 by loutr
Parser Refactor
updated Aug 01, 2023
Resolve "Parsing/Building : allow left arguments"

!88 · created Jan 24, 2023 by belazy
Parser To review feature
- Merged
- 20
- Approved
updated Feb 21, 2023
Resolve "Incorrect parsing of import command when read from a file"

!89 · created Jan 25, 2023 by loutr
Parser bug
updated Jan 25, 2023
Resolve "Unhandled integers"

!60 · created Dec 28, 2022 by pigeonmoelleux
Doing Parser To review
- Merged
- 13
- Approved
updated Jan 12, 2023
Resolve "Allow wildcards in abstractions and products"

!81 · created Jan 11, 2023 by belazy
Parser To review
- Merged
- Approved
updated Jan 12, 2023
Resolve "Bug(Parser): declarations can't be initiated with `plus`, `max` and `imax`"

!78 · created Jan 11, 2023 by eman
Good first issue Parser To review bug
- Merged
- Approved
updated Jan 11, 2023
Resolve "Bug(Parser): spaces are not allowed when declaring universe variables"

!77 · created Jan 11, 2023 by aalbert
Good first issue Parser To review bug
- Merged
- Approved
updated Jan 11, 2023
Resolve "Better Error Locations"

!36 · created Nov 13, 2022 by loutr
Kernel Parser To review
- Merged
- 17
- Approved
updated Jan 01, 2023
Resolve " tests for parser"

!28 · created Oct 27, 2022 by aalbert Alpha release
Parser To review
- Merged
- 16
- Approved
updated Nov 01, 2022
feat(parser): Add new syntaxic sugar and meaningfull error messages, add more...

!18 · created Oct 14, 2022 by aalbert Alpha release
Parser To review
- Merged
- 12
- Approved
updated Oct 17, 2022