Merge requests · loutr / Proost

Resolve "Add Universe Polymorphism"

!40 · created Nov 27, 2022 by belazy
Kernel To review
- Merged
- 94
- Approved
updated Dec 24, 2022
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 "LSP: Proof-of-concept"

!33 · created Nov 02, 2022 by v-lafeychine
To review
- Merged
- 3
- Approved
updated Jan 06, 2023
Resolve "Various type-checking bugs"

!31 · created Nov 02, 2022 by belazy
Kernel To review
- Merged
- 6
- Approved
updated Nov 09, 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 "Add file handling to proost"

!26 · created Oct 27, 2022 by aalbert
To review
- Merged
- 34
- Approved
updated Dec 04, 2022
Resolve "Kernel errors"

!23 · created Oct 23, 2022 by v-lafeychine Alpha release
Kernel To review
- Merged
- 3
- Approved
updated Nov 04, 2022
Resolve "Type-checker doesn't use the global context"

!21 · created Oct 20, 2022 by belazy
Kernel To review
- Merged
- 20
- Approved
updated Oct 22, 2022
feat(parser): Add new syntaxic sugar and meaningfull error messages, add more...

!18 · created Oct 14, 2022 by aalbert Alpha release
Parser To review
- Merged
- 12
- Approved
updated Oct 17, 2022
Resolve "Refactor memory model of type checker"

!17 · created Oct 13, 2022 by loutr
To review
- Merged
- 37
- Approved
updated Nov 26, 2022
9-add-a-basic-type-checker

!15 · created Oct 12, 2022 by belazy
Kernel To review
- Merged
- 67
updated Oct 20, 2022
Resolve "Add proost program (CLI)"

!8 · created Oct 06, 2022 by aalbert Alpha release
To review
- Merged
- Approved
updated Oct 06, 2022
feat(nix): Build Dockerfile from flake

!6 · created Sep 28, 2022 by v-lafeychine Alpha release
To review
- Merged
- 1
- 1
- Approved
updated Sep 29, 2022
Resolve "Pest parser"

!4 · created Sep 27, 2022 by aalbert Alpha release
To review
- Merged
- 20
- Approved
updated Oct 06, 2022