Merge requests · loutr / Proost · GitLab

Draft: Resolve "Add `examples/` as a test suite for the pipeline"

!94 · created Feb 04, 2023 by loutr feature
updated Feb 04, 2023
Draft: Resolve "Memoization of normal form"

!93 · created Jan 30, 2023 by loutr Kernel Optimisation feature
updated Jan 30, 2023
Draft: Resolve "Add match-syntax"

!92 · created Jan 27, 2023 by belazy Kernel feature
updated Jan 27, 2023
Draft: Resolve "Add `let` binder"

!91 · created Jan 25, 2023 by belazy Parser feature
updated Jan 25, 2023
Resolve "Parsing/Building : allow left arguments"

!88 · created Jan 24, 2023 by belazy Parser To review feature
- Approved
- 20
updated Feb 05, 2023
Draft: Add observational equality

!86 · created Jan 21, 2023 by belazy Doing Kernel feature
updated Jan 23, 2023
Draft: Resolve "Add `Sigma` and `Exists` type"

!85 · created Jan 15, 2023 by belazy Doing Kernel feature
updated Jan 15, 2023
Resolve "replace `Succ` with an `Add` constructor on `Level`"

!84 · created Jan 13, 2023 by belazy Kernel Optimisation To review feature
- Approved
- 0
updated Jan 26, 2023
feat(tilleul): Resolve "Add LSP diagnostics"

!83 · created Jan 12, 2023 by v-lafeychine
- 6
updated Jan 25, 2023
Draft: Resolve "Add `List` type"

!82 · created Jan 12, 2023 by nartan Doing Good first issue Kernel
updated Jan 12, 2023
Draft: Resolve "test proost evaluator"

!80 · created Jan 11, 2023 by aalbert feature
updated Jan 12, 2023
Draft: feat:add better tab behavior for proost toplevel

!69 · created Jan 05, 2023 by eman Good first issue To review Toplevel
updated Feb 03, 2023
Draft: Resolve "Add namespace end"

!61 · created Jan 04, 2023 by aalbert Doing
updated Jan 12, 2023
Draft: Resolve "Use pest pratt parser in the parser"

!51 · created Dec 16, 2022 by aalbert Good first issue
updated Dec 16, 2022
Draft: Resolve "add search command"

!45 · created Dec 01, 2022 by aalbert
updated Dec 14, 2022
Draft: Resolve "Performance tests"

!16 · created Oct 13, 2022 by loutr Stuck
updated Dec 14, 2022