Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
Active branches
110-unhandled-lsp-requests-declared-as-capabilities-in-tilleul
35ea61f0
·
fix(tilleul): change tilleul initialization to indicate that no capability is currentlly handled
·
Nov 25, 2023
!103
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
tests
109-feat-tilleul-add-vscode-support
d48aabb6
·
feat(tilleul): add LICENSE and README for VSCode client
·
Nov 24, 2023
!102
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
tests
81-bug-parser-no-error-when-defining-a-declaration-with-the-same-name-as-a-definition
df9b7bbf
·
fix(proost): return a `BoundVariable` error when defining a declaration and a...
·
Nov 12, 2023
!101
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
tests
108-opaque-traces
38de28e7
·
refactor: replace Traces slices with an opaque type owned by the kernel....
·
Nov 10, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
99-add-let-binder
acc2bf0d
·
fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors
·
Nov 10, 2023
!91
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
tests
Stale branches
1-dedicated-cargo-files
1c9b1944
·
chore(cargo): Add cargo workspace
·
Sep 22, 2022
!1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-build-dockerfile-from-nix
59d5271a
·
Apply 1 suggestion(s) to 1 file(s)
·
Sep 29, 2022
!6
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
7-informative-error-messages-for-pest-and-free-variables
53bfa411
·
fix(ci): Fix docs publish + Improve dockerTools use
·
Sep 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3-pest-parser
7cebda55
·
fix(parser): Fix minor issues (impl PartialEq for tests)
·
Oct 06, 2022
!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
5-add-proost-program-cli
ec91f150
·
feat(parser): Add ClassicTerm with variables for easier user input
·
Oct 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar