Merge requests · loutr / Proost

Resolve "Preparations for the first release"

!43 · created Dec 01, 2022 by loutr
To review
- Merged
- Approved
updated Dec 04, 2022
Draft: Resolve "Preparations for the first release"

!42 · created Dec 01, 2022 by loutr
updated Dec 01, 2022
Resolve "Uniform Cargo files + Cargo & Nix Update"

!41 · created Nov 30, 2022 by loutr
updated Nov 30, 2022
Resolve "Add Universe Polymorphism"

!40 · created Nov 27, 2022 by belazy
Kernel To review
- Merged
- 94
- Approved
updated Dec 24, 2022
Draft: Resolve "update pest parser location extraction for more accurate error reporting when using emojis"

!39 · created Nov 25, 2022 by aalbert
- Closed
updated Jan 06, 2023
Uniform Kernel Documentation

!38 · created Nov 25, 2022 by loutr
Kernel To review
- Merged
- Approved
updated Nov 30, 2022
Resolve "Add functionnalities to proost (toplevel)"

!37 · created Nov 24, 2022 by aalbert
To review
- Merged
- 46
- Approved
updated Nov 26, 2022
Resolve "Better Error Locations"

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

!35 · created Nov 10, 2022 by aalbert
To review
- Merged
- 3
- Approved
updated Nov 26, 2022
Resolve "update specs"

!34 · created Nov 06, 2022 by aalbert
- Merged
- Approved
updated Nov 10, 2022
Resolve "LSP: Proof-of-concept"

!33 · created Nov 02, 2022 by v-lafeychine
To review
- Merged
- 3
- Approved
updated Jan 06, 2023
Draft: Resolve "Make `whnf()` less agressive"

!32 · created Nov 02, 2022 by belazy
Kernel
- Closed
updated Dec 14, 2022
Resolve "Various type-checking bugs"

!31 · created Nov 02, 2022 by belazy
Kernel To review
- Merged
- 6
- Approved
updated Nov 09, 2022
Draft: "Add Universe Polymorphism"

!30 · created Nov 01, 2022 by belazy
Doing Kernel
- Closed
- 2
updated Nov 27, 2022
Resolve "Remove unknow file "z" (sorry)"

!29 · created Oct 27, 2022 by aalbert
- Merged
updated Oct 28, 2022
Resolve " tests for parser"

!28 · created Oct 27, 2022 by aalbert Alpha release
Parser To review
- Merged
- 16
- Approved
updated Nov 01, 2022
Resolve "Bug rev parser"

!27 · created Oct 27, 2022 by aalbert
- Merged
updated Oct 27, 2022
Resolve "Add file handling to proost"

!26 · created Oct 27, 2022 by aalbert
To review
- Merged
- 34
- Approved
updated Dec 04, 2022
Proof of concept: Resolve "Add user friendly commands"

!25 · created Oct 27, 2022 by aalbert
Doing
- Closed
updated Oct 29, 2022
Resolve "Coverage: Artifacts and branches"

!24 · created Oct 23, 2022 by v-lafeychine
- Merged
- 2
- Approved
updated Oct 24, 2022