Merge requests · loutr / Proost · GitLab

Draft: Resolve "Add `examples/` as a test suite for the pipeline"

!94 · created Feb 04, 2023 by loutr
feature
updated Feb 04, 2023
Draft: Resolve "Memoization of normal form"

!93 · created Jan 30, 2023 by loutr
Kernel Optimisation feature
updated Jan 30, 2023
Draft: Resolve "Add match-syntax"

!92 · created Jan 27, 2023 by belazy
Kernel feature
updated Mar 05, 2023
Resolve "Add `let` binder"

!91 · created Jan 25, 2023 by belazy
Parser feature
- 1
updated May 17, 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 "test proost evaluator"

!80 · created Jan 11, 2023 by aalbert
feature
updated Jan 12, 2023