Merge requests · loutr / Proost · GitLab

Resolve "Improve CI by using Nix"

!105 · created May 04, 2024 by v-lafeychine
- Merged
- Approved
updated May 09, 2024
Draft: Resolve "Non-dependent products optimisation"

!104 · created Dec 13, 2023 by pigeonmoelleux
Doing Kernel Optimisation
updated Jan 11, 2024
Resolve "Unhandled LSP requests declared as capabilities in tilleul"

!103 · created Nov 25, 2023 by pigeonmoelleux
LSP bug
- Merged
- 1
- Approved
updated Dec 15, 2023
Resolve "feat(tilleul): add VSCode support"

!102 · created Nov 13, 2023 by pigeonmoelleux
LSP To review feature
- Merged
- 56
- Approved
updated May 04, 2024
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
Draft: Resolve "Make traces opaque"

!100 · created Nov 10, 2023 by loutr 99-add-let-binder
Elaboration Kernel Refactor
updated May 09, 2024
Resolve "Parser simplification"

!99 · created Jul 24, 2023 by loutr
Parser Refactor
updated Aug 01, 2023
Resolve "LogSem seminar talk"

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

!97 · created Feb 26, 2023 by belazy
Kernel Optimisation
Resolve "Specialize traces"

!96 · created Feb 24, 2023 by belazy
Elaboration Parser Refactor To review
- Closed
updated Jul 25, 2023
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
updated Mar 05, 2023
Resolve "Add `let` binder"

!91 · created Jan 25, 2023 by belazy
Parser feature
- 1
updated May 17, 2024
Resolve "Preparations for release v0.3.0"

!90 · created Jan 25, 2023 by loutr
Docs
- Merged
- 9
- Approved
updated Jan 30, 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 "Parsing/Building : allow left arguments"

!88 · created Jan 24, 2023 by belazy
Parser To review feature
- Merged
- 20
- Approved
updated Feb 21, 2023
Resolve "Classical logic"

!87 · created Jan 23, 2023 by loutr
StdLib To review
- Merged
- Approved
updated Jan 26, 2023
Draft: Add observational equality

!86 · created Jan 21, 2023 by belazy
Doing Kernel feature
updated Jan 23, 2023

Prev
1
2
3
4
5
6
Next