Merge requests · loutr / Proost

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
Resolve "Optimisation of shift algorithm"

!70 · created Jan 05, 2023 by aplanos
Kernel Optimisation To review
- Merged
- 6
- Approved
updated Jan 18, 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 "Add `Eq` and definitional Proof-Irrelevance"

!62 · created Jan 04, 2023 by belazy
Kernel To review feature
- Merged
- 26
- Approved
updated Jan 12, 2023
Resolve "Add axioms"

!55 · created Dec 23, 2022 by belazy
Kernel To review
- Merged
- 14
- Approved
updated Jan 05, 2023
Resolve "Better Error Locations"

!36 · created Nov 13, 2022 by loutr
Kernel Parser To review
- Merged
- 17
- Approved
updated Jan 01, 2023
Resolve "`whnf` doesn't unfold applications where the head is a declaration"

!57 · created Dec 27, 2022 by belazy
Kernel
updated Dec 27, 2022
Resolve "Add Universe Polymorphism"

!40 · created Nov 27, 2022 by belazy
Kernel To review
- Merged
- 94
- Approved
updated Dec 24, 2022
Resolve "Fix remaining TODO #34"

!53 · created Dec 17, 2022 by belazy
Kernel
updated Dec 17, 2022
Resolve "Make `whnf()` less agressive"

!49 · created Dec 14, 2022 by belazy
Kernel To review
- Merged
- 1
- Approved
updated Dec 14, 2022
Uniform Kernel Documentation

!38 · created Nov 25, 2022 by loutr
Kernel To review
- Merged
- Approved
updated Nov 30, 2022
Resolve "Various type-checking bugs"

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