Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
1-dedicated-cargo-files
1c9b1944
·
chore(cargo): Add cargo workspace
·
Sep 22, 2022
!1
4-build-dockerfile-from-nix
59d5271a
·
Apply 1 suggestion(s) to 1 file(s)
·
Sep 29, 2022
!6
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
!4
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
!8
2-term-definitions
601b10f4
·
feat(term): Complete beta-reduction
·
Oct 07, 2022
!2
13-breaking-change-rename-core-crate-to-kernel
f543c4d5
·
chore!(cargo): Rename crate into
·
Oct 07, 2022
!14
11-use-derive_more-crate
c57d0d1a
·
chore: Use reexport of dependencies
·
Oct 09, 2022
!13
6-specification
9a53b93b
·
docs: add specifications PDF
·
Oct 09, 2022
!7
14-perftests
b309c062
·
Resolve "specification"
✨
️
·
Oct 10, 2022
!16
10-modify-proost-s-grammar
2eba1e3e
·
fix(parser): Fix the semantics of products without parentheses.
·
Oct 17, 2022
!18
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
!19
9-add-a-basic-type-checker
f4d6fc98
·
Fix : clippy
·
Oct 20, 2022
!15
23-coverage-on-pipelines-cache
e04b85be
·
fix(ci): Remove coverage files after tests
·
Oct 20, 2022
!20
17-type-checker-doesn-t-use-the-global-context
c584f285
·
chore: misc
·
Oct 22, 2022
!21
25-coverage-artifacts-and-branches
9339b4b3
·
fix(flake): Correctly interlink inputs
·
Oct 24, 2022
!24
22-pretty-printing
e781663e
·
Chore : add test
·
Oct 27, 2022
!22
29-add-user-friendly-commands
3fd13526
·
HOT fix(parser): bug with rev()
·
Oct 27, 2022
Prev
1
2
3
4
5
Next