Merge requests · loutr / Proost

Draft: Resolve "Use pest pratt parser in the parser"

!51 · created Dec 16, 2022 by aalbert
Good first issue
- Closed
updated Jul 25, 2023
Resolve "Specialize traces"

!96 · created Feb 24, 2023 by belazy
Elaboration Parser Refactor To review
- Closed
updated Jul 25, 2023
feat: Resolve "Classical logic" (#78)

!67 · created Jan 05, 2023 by jeanas
- Closed
- 7
updated Jan 23, 2023
Draft: Resolve "Panic: attempt to subtract with overflow"

!73 · created Jan 06, 2023 by aalbert
Stuck bug
- Closed
updated Jan 11, 2023
Draft: Resolve "Bug(Parser): spaces are not allowed when declaring universe variables"

!79 · created Jan 11, 2023 by eman
Good first issue Parser bug
- Closed
updated Jan 11, 2023
Resolve "Add `Eq`"

!72 · created Jan 06, 2023 by belazy
Kernel To review feature
- Closed
- 2
updated Jan 07, 2023
Draft: Resolve "update pest parser location extraction for more accurate error reporting when using emojis"

!39 · created Nov 25, 2022 by aalbert
- Closed
updated Jan 06, 2023
Draft: Resolve "Add namespace end"

!52 · created Dec 16, 2022 by aalbert
Doing
- Closed
updated Jan 06, 2023
Draft: Resolve "Add namespace end"

!48 · created Dec 04, 2022 by aalbert
Doing
- Closed
updated Jan 05, 2023
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
Draft: Resolve "Make eval work"

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

!32 · created Nov 02, 2022 by belazy
Kernel
- Closed
updated Dec 14, 2022
Draft: Resolve "include rustyline into a repl struct"

!46 · created Dec 01, 2022 by aalbert
- Closed
updated Dec 02, 2022
Draft: "Add Universe Polymorphism"

!30 · created Nov 01, 2022 by belazy
Doing Kernel
- Closed
- 2
updated Nov 27, 2022
Proof of concept: Resolve "Add user friendly commands"

!25 · created Oct 27, 2022 by aalbert
Doing
- Closed
updated Oct 29, 2022
Draft: Resolve "Add a basic type-checker"

!9 · created Oct 06, 2022 by belazy
Doing
- Closed
updated Oct 08, 2022
Draft: Resolve "Modify Proost's grammar"

!10 · created Oct 06, 2022 by belazy
- Closed
- 1
updated Oct 08, 2022
Draft: Resolve "Transition from Pest to Num"

!12 · created Oct 07, 2022 by aalbert Alpha release
Doing
- Closed
updated Oct 07, 2022
Draft: Resolve "Modify Proost's grammar" partially

!11 · created Oct 07, 2022 by aalbert
Doing Parser
- Closed
updated Oct 07, 2022
Resolve "Add proost program (CLI)"

!5 · created Sep 28, 2022 by aalbert Alpha release
Doing
- Closed
- 7
updated Oct 06, 2022