Merge requests · loutr / Proost · GitLab

Draft: Resolve "LogSem seminar talk"

!98 · created Mar 06, 2023 by v-lafeychine
- Approved
- 1
- 0
updated Mar 13, 2023
Draft: Resolve "Implement bidirectional type-checking"

!97 · created Feb 26, 2023 by belazy
Kernel Optimisation
Draft: Resolve "Implement Normalisation-by-evaluation"

!95 · created Feb 10, 2023 by belazy
Kernel Optimisation
updated Feb 21, 2023
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
- 0
updated Mar 05, 2023
Draft: Resolve "Add `let` binder"

!91 · created Jan 25, 2023 by belazy
Parser feature
updated Aug 01, 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
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
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 "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