Merge requests · loutr / Proost

Draft: Resolve "Non-dependent products optimisation"

!104 · created Dec 13, 2023 by pigeonmoelleux
Doing Kernel Optimisation
updated Jan 11, 2024
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
Draft: Resolve "Add `List` type"

!82 · created Jan 12, 2023 by nartan
Doing Good first issue Kernel
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
Draft: Resolve "Add namespace end"

!61 · created Jan 04, 2023 by aalbert
Doing
- 1
updated Jan 12, 2023
Resolve "Unhandled integers"

!60 · created Dec 28, 2022 by pigeonmoelleux
Doing Parser To review
- Merged
- 13
- Approved
updated Jan 12, 2023
Draft: Resolve "Add namespace end"

!52 · created Dec 16, 2022 by aalbert
Doing
- Closed
updated Jan 06, 2023
Draft: Resolve "Make eval work"

!50 · created Dec 15, 2022 by belazy
Doing
- Closed
updated Dec 15, 2022
Draft: Resolve "Add namespace end"

!48 · created Dec 04, 2022 by aalbert
Doing
- Closed
updated Jan 05, 2023
Draft: "Add Universe Polymorphism"

!30 · created Nov 01, 2022 by belazy
Doing Kernel
- Closed
- 2
updated Nov 27, 2022
Proof of concept: Resolve "Add user friendly commands"

!25 · created Oct 27, 2022 by aalbert
Doing
- Closed
updated Oct 29, 2022
Resolve "proost fonctionality and UI"

!22 · created Oct 21, 2022 by v-lafeychine Alpha release
Doing
- Merged
- 33
- Approved
updated Oct 27, 2022
Resolve "Coverage on Pipelines"

!19 · created Oct 18, 2022 by v-lafeychine Alpha release
Doing
- Merged
- Approved
updated Oct 20, 2022
Resolve "Use `derive_more` crate"

!13 · created Oct 07, 2022 by v-lafeychine Alpha release
Doing
- Merged
- 1
- Approved
updated Oct 09, 2022
Draft: Resolve "Transition from Pest to Num"

!12 · created Oct 07, 2022 by aalbert Alpha release
Doing
- Closed
updated Oct 07, 2022
Draft: Resolve "Modify Proost's grammar" partially

!11 · created Oct 07, 2022 by aalbert
Doing Parser
- Closed
updated Oct 07, 2022
Draft: Resolve "Add a basic type-checker"

!9 · created Oct 06, 2022 by belazy
Doing
- Closed
updated Oct 08, 2022
Resolve "specification"

!7 · created Sep 29, 2022 by loutr
Doing
- Merged
- 1
- Approved
updated Oct 10, 2022