Skip to content
GitLab
Explore
Sign in
jeanas
Proost
Repository
Branches
Overview
Active
Stale
All
34-make-whnf-less-agressive
328982eb
·
Resolve " tests for parser"
✨
️
·
Nov 01, 2022
8-more-tests-for-parser-and-classic-term-conversion
5c77f012
·
feat(parser): resolve threads
·
Nov 01, 2022
31-supprimer-fichier-inconnu-z-deso
88bdc735
·
fix: remove 'z' file
·
Oct 27, 2022
30-bug-rev-parser
6fd07cce
·
fix(parser)
·
Oct 27, 2022
29-add-user-friendly-commands
3fd13526
·
HOT fix(parser): bug with rev()
·
Oct 27, 2022
22-pretty-printing
e781663e
·
Chore : add test
·
Oct 27, 2022
25-coverage-artifacts-and-branches
9339b4b3
·
fix(flake): Correctly interlink inputs
·
Oct 24, 2022
17-type-checker-doesn-t-use-the-global-context
c584f285
·
chore: misc
·
Oct 22, 2022
23-coverage-on-pipelines-cache
e04b85be
·
fix(ci): Remove coverage files after tests
·
Oct 20, 2022
9-add-a-basic-type-checker
2213271b
·
Fix : clippy
·
Oct 20, 2022
16-coverage-on-pipelines
60a71956
·
fix(nix): Add rust-src in rust profile
·
Oct 20, 2022
19-kernel-errors
1b113d51
·
Chore : CamelCase
·
Oct 20, 2022
10-modify-proost-s-grammar
2eba1e3e
·
fix(parser): Fix the semantics of products without parentheses.
·
Oct 17, 2022
14-perftests
b309c062
·
Resolve "specification"
✨
️
·
Oct 10, 2022
6-specification
9a53b93b
·
docs: add specifications PDF
·
Oct 09, 2022
11-use-derive_more-crate
c57d0d1a
·
chore: Use reexport of dependencies
·
Oct 09, 2022
13-breaking-change-rename-core-crate-to-kernel
f543c4d5
·
chore!(cargo): Rename crate into
·
Oct 07, 2022
2-term-definitions
601b10f4
·
feat(term): Complete beta-reduction
·
Oct 07, 2022
5-add-proost-program-cli-2
f703f271
·
fix(proost): iterates over arguments as shared immutable references as to prevent cloning
·
Oct 06, 2022
5-add-proost-program-cli
ec91f150
·
feat(parser): Add ClassicTerm with variables for easier user input
·
Oct 06, 2022
Prev
1
2
3
4
Next