Merge requests · loutr / Proost

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

!65 · created Jan 04, 2023 by eman
Good first issue To review
- Merged
- Approved
updated Jan 11, 2023
Resolve "Refactor toplevel REPL"

!66 · created Jan 05, 2023 by loutr
Refactor Toplevel
- Merged
- Approved
updated Jan 10, 2023
Resolve "LSP: Proof-of-concept"

!33 · created Nov 02, 2022 by v-lafeychine
To review
- Merged
- 3
- Approved
updated Jan 06, 2023
Resolve "Add axioms"

!55 · created Dec 23, 2022 by belazy
Kernel To review
- Merged
- 14
- Approved
updated Jan 05, 2023
Resolve: "Add support for non-nix users" (79)

!68 · created Jan 05, 2023 by pigeonmoelleux
- Merged
- Approved
updated Jan 05, 2023
Resolve "Clippy error after updated"

!63 · created Jan 04, 2023 by v-lafeychine
updated Jan 04, 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 "Make clippy annoying"

!54 · created Dec 22, 2022 by v-lafeychine
- Merged
- 23
- Approved
updated Dec 27, 2022
Resolve "panic when entering "a""

!56 · created Dec 24, 2022 by aalbert
- Merged
- Approved
updated Dec 24, 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
Resolve "Preparations for the first release"

!43 · created Dec 01, 2022 by loutr
To review
- Merged
- Approved
updated Dec 04, 2022
Resolve "Infrastructure improvement"

!47 · created Dec 04, 2022 by v-lafeychine
- Merged
- 1
- Approved
updated Dec 04, 2022
Resolve "Add file handling to proost"

!26 · created Oct 27, 2022 by aalbert
To review
- Merged
- 34
- Approved
updated Dec 04, 2022
Resolve "Uniform Cargo files + Cargo & Nix Update"

!44 · created Dec 01, 2022 by loutr
updated Dec 01, 2022
Draft: Resolve "Preparations for the first release"

!42 · created Dec 01, 2022 by loutr
updated Dec 01, 2022
Resolve "Uniform Cargo files + Cargo & Nix Update"

!41 · created Nov 30, 2022 by loutr
updated Nov 30, 2022
Uniform Kernel Documentation

!38 · created Nov 25, 2022 by loutr
Kernel To review
- Merged
- Approved
updated Nov 30, 2022