Branches · loutr / Proost · GitLab

Snippets Groups Projects

1-dedicated-cargo-files

1c9b1944 · chore(cargo): Add cargo workspace · 2 years ago

68

1
!1
zip
tar.gz
tar.bz2
tar
Compare
4-build-dockerfile-from-nix

59d5271a · Apply 1 suggestion(s) to 1 file(s) · 2 years ago

66

2
!6
zip
tar.gz
tar.bz2
tar
Compare
7-informative-error-messages-for-pest-and-free-variables

53bfa411 · fix(ci): Fix docs publish + Improve dockerTools use · 2 years ago

64

0
zip
tar.gz
tar.bz2
tar
Compare
3-pest-parser

7cebda55 · fix(parser): Fix minor issues (impl PartialEq for tests) · 2 years ago

64

30
!4
zip
tar.gz
tar.bz2
tar
Compare
5-add-proost-program-cli

ec91f150 · feat(parser): Add ClassicTerm with variables for easier user input · 2 years ago

64

41
!5
zip
tar.gz
tar.bz2
tar
Compare
5-add-proost-program-cli-2

f703f271 · fix(proost): iterates over arguments as shared immutable references as to prevent cloning · 2 years ago

63

5
!8
zip
tar.gz
tar.bz2
tar
Compare
2-term-definitions

601b10f4 · feat(term): Complete beta-reduction · 2 years ago

62

4
!2
zip
tar.gz
tar.bz2
tar
Compare
13-breaking-change-rename-core-crate-to-kernel

f543c4d5 · chore!(cargo): Rename crate into · 2 years ago

60

1
!14
zip
tar.gz
tar.bz2
tar
Compare
11-use-derive_more-crate

c57d0d1a · chore: Use reexport of dependencies · 2 years ago

59

6
!13
zip
tar.gz
tar.bz2
tar
Compare
6-specification

9a53b93b · docs: add specifications PDF · 2 years ago

58

5
!7
zip
tar.gz
tar.bz2
tar
Compare
14-perftests

b309c062 · Resolve "specification" ✨️ · 2 years ago

57

0
!16
zip
tar.gz
tar.bz2
tar
Compare
10-modify-proost-s-grammar

2eba1e3e · fix(parser): Fix the semantics of products without parentheses. · 2 years ago

57

7
!18
zip
tar.gz
tar.bz2
tar
Compare
19-kernel-errors

1b113d51 · Chore : CamelCase · 2 years ago

55

69
zip
tar.gz
tar.bz2
tar
Compare
16-coverage-on-pipelines

60a71956 · fix(nix): Add rust-src in rust profile · 2 years ago

55

3
!19
zip
tar.gz
tar.bz2
tar

tests
Compare
9-add-a-basic-type-checker

f4d6fc98 · Fix : clippy · 2 years ago

54

84
!15
zip
tar.gz
tar.bz2
tar

tests
Compare
23-coverage-on-pipelines-cache

e04b85be · fix(ci): Remove coverage files after tests · 2 years ago

53

1
!20
zip
tar.gz
tar.bz2
tar

tests
Compare
17-type-checker-doesn-t-use-the-global-context

c584f285 · chore: misc · 2 years ago

52

29
!21
zip
tar.gz
tar.bz2
tar

tests
Compare
25-coverage-artifacts-and-branches

9339b4b3 · fix(flake): Correctly interlink inputs · 2 years ago

51

5
!24
zip
tar.gz
tar.bz2
tar

tests
Compare
22-pretty-printing

e781663e · Chore : add test · 2 years ago

50

20
!22
zip
tar.gz
tar.bz2
tar

tests
Compare
29-add-user-friendly-commands

3fd13526 · HOT fix(parser): bug with rev() · 2 years ago

49

4
!25
zip
tar.gz
tar.bz2
tar

tests
Compare

Prev
1
2
3
4
5
Next