Merge requests · loutr / Proost

Resolve "Better Error Locations"

!36 · created Nov 13, 2022 by loutr
Kernel Parser To review
- Merged
- 17
- Approved
updated Jan 01, 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 "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
9-add-a-basic-type-checker

!15 · created Oct 12, 2022 by belazy
Kernel To review
- Merged
- 67
updated Oct 20, 2022