Merge requests · loutr / Proost · GitLab

Resolve "feat(tilleul): add VSCode support"

!102 · created Nov 13, 2023 by pigeonmoelleux
LSP To review feature
- Merged
- 56
- Approved
updated May 04, 2024
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 Mar 05, 2023
Resolve "Add `let` binder"

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

!88 · created Jan 24, 2023 by belazy
Parser To review feature
- Merged
- 20
- Approved
updated Feb 21, 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
- Merged
- Approved
updated Jul 25, 2023
Draft: Resolve "test proost evaluator"

!80 · created Jan 11, 2023 by aalbert
feature
updated Jan 12, 2023
Resolve "Add True Type"

!76 · created Jan 10, 2023 by nartan
Doing Good first issue Kernel To review feature
- Merged
- 5
- Approved
updated Jan 12, 2023
Resolve "Add `Eq`"

!72 · created Jan 06, 2023 by belazy
Kernel To review feature
- Closed
- 2
updated Jan 07, 2023
Resolve "Add `Eq` and definitional Proof-Irrelevance"

!62 · created Jan 04, 2023 by belazy
Kernel To review feature
- Merged
- 26
- Approved
updated Jan 12, 2023