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
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
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 "v0.3.0 presentation"

!75 · created Jan 10, 2023 by pigeonmoelleux
Docs Doing To review
- Merged
- 2
- Approved
updated Jan 26, 2023
Resolve "Classical logic"

!87 · created Jan 23, 2023 by loutr
StdLib To review
- Merged
- Approved
updated Jan 26, 2023
Partially resolve "Pretty printing of terms"

!59 · created Dec 28, 2022 by phenixceleste
Good first issue To review
- Merged
- 12
- Approved
updated Jan 25, 2023
Resolve "Optimisation of shift algorithm"

!70 · created Jan 05, 2023 by aplanos
Kernel Optimisation To review
- Merged
- 6
- Approved
updated Jan 18, 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 "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` and definitional Proof-Irrelevance"

!62 · created Jan 04, 2023 by belazy
Kernel To review feature
- Merged
- 26
- 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 "feat: typecheck files without toplevel when files are given as arguments"

!65 · created Jan 04, 2023 by eman
Good first issue To review
- Merged
- Approved
updated Jan 11, 2023
Resolve "LSP: Proof-of-concept"

!33 · created Nov 02, 2022 by v-lafeychine
To review
- Merged
- 3
- Approved
updated Jan 06, 2023
Resolve "Add axioms"

!55 · created Dec 23, 2022 by belazy
Kernel To review
- Merged
- 14
- Approved
updated Jan 05, 2023
Resolve "Better Error Locations"

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

!40 · created Nov 27, 2022 by belazy
Kernel To review
- Merged
- 94
- Approved
updated Dec 24, 2022
Resolve "Make `whnf()` less agressive"

!49 · created Dec 14, 2022 by belazy
Kernel To review
- Merged
- 1
- Approved
updated Dec 14, 2022
Resolve "Preparations for the first release"

!43 · created Dec 01, 2022 by loutr
To review
- Merged
- Approved
updated Dec 04, 2022