Merge requests · loutr / Proost

Resolve "feat: typecheck files without toplevel when files are given as arguments"

!64 · created Jan 04, 2023 by eman
Good first issue
- Closed
updated Jan 04, 2023
Resolve "Clippy error after updated"

!63 · created Jan 04, 2023 by v-lafeychine
updated Jan 04, 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
Draft: Resolve "Add namespace end"

!61 · created Jan 04, 2023 by aalbert
Doing
- 1
updated Jan 12, 2023
Resolve "Unhandled integers"

!60 · created Dec 28, 2022 by pigeonmoelleux
Doing Parser To review
- Merged
- 13
- Approved
updated Jan 12, 2023
Partially resolve "Pretty printing of terms"

!59 · created Dec 28, 2022 by phenixceleste
Good first issue To review
- Merged
- 12
- Approved
updated Jan 25, 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 "panic when entering "a""

!56 · created Dec 24, 2022 by aalbert
- Merged
- Approved
updated Dec 24, 2022
Resolve "Add axioms"

!55 · created Dec 23, 2022 by belazy
Kernel To review
- Merged
- 14
- Approved
updated Jan 05, 2023
Resolve "Make clippy annoying"

!54 · created Dec 22, 2022 by v-lafeychine
- Merged
- 23
- Approved
updated Dec 27, 2022
Resolve "Fix remaining TODO #34"

!53 · created Dec 17, 2022 by belazy
Kernel
updated Dec 17, 2022
Draft: Resolve "Add namespace end"

!52 · created Dec 16, 2022 by aalbert
Doing
- Closed
updated Jan 06, 2023
Draft: Resolve "Use pest pratt parser in the parser"

!51 · created Dec 16, 2022 by aalbert
Good first issue
- Closed
updated Jul 25, 2023
Draft: Resolve "Make eval work"

!50 · created Dec 15, 2022 by belazy
Doing
- Closed
updated Dec 15, 2022
Resolve "Make `whnf()` less agressive"

!49 · created Dec 14, 2022 by belazy
Kernel To review
- Merged
- 1
- Approved
updated Dec 14, 2022
Draft: Resolve "Add namespace end"

!48 · created Dec 04, 2022 by aalbert
Doing
- Closed
updated Jan 05, 2023
Resolve "Infrastructure improvement"

!47 · created Dec 04, 2022 by v-lafeychine
- Merged
- 1
- Approved
updated Dec 04, 2022
Draft: Resolve "include rustyline into a repl struct"

!46 · created Dec 01, 2022 by aalbert
- Closed
updated Dec 02, 2022
Draft: Resolve "add search command"

!45 · created Dec 01, 2022 by aalbert
updated Dec 14, 2022
Resolve "Uniform Cargo files + Cargo & Nix Update"

!44 · created Dec 01, 2022 by loutr
updated Dec 01, 2022