Merge requests · loutr / Proost · GitLab

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
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
Resolve "Allow wildcards in abstractions and products"

!81 · created Jan 11, 2023 by belazy
Parser To review
- Merged
- Approved
updated Jan 12, 2023
Draft: Resolve "test proost evaluator"

!80 · created Jan 11, 2023 by aalbert
feature
updated Jan 12, 2023
Draft: Resolve "Bug(Parser): spaces are not allowed when declaring universe variables"

!79 · created Jan 11, 2023 by eman
Good first issue Parser bug
- Closed
updated Jan 11, 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 "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 "v0.3.0 presentation"

!75 · created Jan 10, 2023 by pigeonmoelleux
Docs Doing To review
- Merged
- 2
- Approved
updated Jan 26, 2023
Resolve "Preparation for Release v0.2.0"

!74 · created Jan 07, 2023 by loutr
- Merged
- 1
- Approved
updated Jan 12, 2023
Draft: Resolve "Panic: attempt to subtract with overflow"

!73 · created Jan 06, 2023 by aalbert
Stuck bug
- Closed
updated Jan 11, 2023
Resolve "Add `Eq`"

!72 · created Jan 06, 2023 by belazy
Kernel To review feature
- Closed
- 2
updated Jan 07, 2023
Resolve "Optimisation of shift algorithm"

!70 · created Jan 05, 2023 by aplanos
Kernel Optimisation To review
- Merged
- 6
- Approved
updated Jan 18, 2023
Draft: feat:add better tab behavior for proost toplevel

!69 · created Jan 05, 2023 by eman
Good first issue To review Toplevel
- 2
updated Feb 03, 2023
Resolve: "Add support for non-nix users" (79)

!68 · created Jan 05, 2023 by pigeonmoelleux
- Merged
- Approved
updated Jan 05, 2023
feat: Resolve "Classical logic" (#78)

!67 · created Jan 05, 2023 by jeanas
- Closed
- 7
updated Jan 23, 2023
Resolve "Refactor toplevel REPL"

!66 · created Jan 05, 2023 by loutr
Refactor Toplevel
- Merged
- Approved
updated Jan 10, 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

Prev
1
2
3
4
5
6
Next