Skip to content
GitLab
Explore
Sign in
jeanas
Proost
Repository
Branches
Overview
Active
Stale
All
1-dedicated-cargo-files
1c9b1944
·
chore(cargo): Add cargo workspace
·
Sep 22, 2022
4-build-dockerfile-from-nix
59d5271a
·
Apply 1 suggestion(s) to 1 file(s)
·
Sep 29, 2022
7-informative-error-messages-for-pest-and-free-variables
53bfa411
·
fix(ci): Fix docs publish + Improve dockerTools use
·
Sep 30, 2022
3-pest-parser
7cebda55
·
fix(parser): Fix minor issues (impl PartialEq for tests)
·
Oct 06, 2022
5-add-proost-program-cli
ec91f150
·
feat(parser): Add ClassicTerm with variables for easier user input
·
Oct 06, 2022
5-add-proost-program-cli-2
f703f271
·
fix(proost): iterates over arguments as shared immutable references as to prevent cloning
·
Oct 06, 2022
2-term-definitions
601b10f4
·
feat(term): Complete beta-reduction
·
Oct 07, 2022
13-breaking-change-rename-core-crate-to-kernel
f543c4d5
·
chore!(cargo): Rename crate into
·
Oct 07, 2022
11-use-derive_more-crate
c57d0d1a
·
chore: Use reexport of dependencies
·
Oct 09, 2022
6-specification
9a53b93b
·
docs: add specifications PDF
·
Oct 09, 2022
14-perftests
b309c062
·
Resolve "specification"
✨
️
·
Oct 10, 2022
10-modify-proost-s-grammar
2eba1e3e
·
fix(parser): Fix the semantics of products without parentheses.
·
Oct 17, 2022
19-kernel-errors
1b113d51
·
Chore : CamelCase
·
Oct 20, 2022
16-coverage-on-pipelines
60a71956
·
fix(nix): Add rust-src in rust profile
·
Oct 20, 2022
9-add-a-basic-type-checker
2213271b
·
Fix : clippy
·
Oct 20, 2022
23-coverage-on-pipelines-cache
e04b85be
·
fix(ci): Remove coverage files after tests
·
Oct 20, 2022
17-type-checker-doesn-t-use-the-global-context
c584f285
·
chore: misc
·
Oct 22, 2022
25-coverage-artifacts-and-branches
9339b4b3
·
fix(flake): Correctly interlink inputs
·
Oct 24, 2022
22-pretty-printing
e781663e
·
Chore : add test
·
Oct 27, 2022
29-add-user-friendly-commands
3fd13526
·
HOT fix(parser): bug with rev()
·
Oct 27, 2022
Prev
1
2
3
4
Next