Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Proost
Manage
Activity
Members
Labels
Plan
Issues
0
Issue boards
Milestones
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Package Registry
Model registry
Operate
Terraform modules
Analyze
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
jeanas
Proost
Branches
Overview
Active
Stale
All
Oldest updated
Name
Oldest updated
Updated date
1-dedicated-cargo-files
1c9b1944
·
chore(cargo): Add cargo workspace
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
4-build-dockerfile-from-nix
59d5271a
·
Apply 1 suggestion(s) to 1 file(s)
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
7-informative-error-messages-for-pest-and-free-variables
53bfa411
·
fix(ci): Fix docs publish + Improve dockerTools use
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
3-pest-parser
7cebda55
·
fix(parser): Fix minor issues (impl PartialEq for tests)
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
5-add-proost-program-cli
ec91f150
·
feat(parser): Add ClassicTerm with variables for easier user input
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
5-add-proost-program-cli-2
f703f271
·
fix(proost): iterates over arguments as shared immutable references as to prevent cloning
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
2-term-definitions
601b10f4
·
feat(term): Complete beta-reduction
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
13-breaking-change-rename-core-crate-to-kernel
f543c4d5
·
chore!(cargo): Rename crate into
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
11-use-derive_more-crate
c57d0d1a
·
chore: Use reexport of dependencies
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
6-specification
9a53b93b
·
docs: add specifications PDF
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
14-perftests
b309c062
·
Resolve "specification" ✨️
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
10-modify-proost-s-grammar
2eba1e3e
·
fix(parser): Fix the semantics of products without parentheses.
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
19-kernel-errors
1b113d51
·
Chore : CamelCase
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
16-coverage-on-pipelines
60a71956
·
fix(nix): Add rust-src in rust profile
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
9-add-a-basic-type-checker
2213271b
·
Fix : clippy
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
23-coverage-on-pipelines-cache
e04b85be
·
fix(ci): Remove coverage files after tests
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
17-type-checker-doesn-t-use-the-global-context
c584f285
·
chore: misc
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
25-coverage-artifacts-and-branches
9339b4b3
·
fix(flake): Correctly interlink inputs
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
22-pretty-printing
e781663e
·
Chore : add test
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
29-add-user-friendly-commands
3fd13526
·
HOT fix(parser): bug with rev()
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
Prev
1
2
3
4
Next