Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
30-bug-rev-parser
6fd07cce
·
fix(parser)
·
Oct 27, 2022
!27
31-supprimer-fichier-inconnu-z-deso
88bdc735
·
fix: remove 'z' file
·
Oct 27, 2022
!29
8-more-tests-for-parser-and-classic-term-conversion
5c77f012
·
feat(parser): resolve threads
·
Nov 01, 2022
!28
34-make-whnf-less-agressive
328982eb
·
Resolve " tests for parser"
✨
️
·
Nov 01, 2022
19-kernel-errors-2
a9d5b46a
·
chore(Cargo.toml): Add a missing space
·
Nov 03, 2022
!23
33-underspecified-checking-of-lambda-abstractions
381c00ef
·
fix(kernel): complete beta-reduction
·
Nov 09, 2022
!31
35-update-specs
cb83c45a
·
docs: fix example
·
Nov 10, 2022
!34
28-add-universe-polymorphism
e6983f21
·
feat(kernel): allow printing of universe-polymorph functions with unbound universes
·
Nov 15, 2022
28-add-universe-polymorphism-2
ab3d2a84
·
feat:yes
·
Nov 26, 2022
39-add-functionnalities-to-proost-toplevel
1a0f0401
·
format
·
Nov 26, 2022
!37
37-improve-readme
0084562b
·
add ?main
·
Nov 26, 2022
!35
43-update-pest-parser-location-extraction-for-more-accurate-error-reporting-when-using-emojis
9fcaffde
·
change char for bytes
·
Nov 26, 2022
15-refactor-memory-type-checker
30921739
·
chore(cargo): update
·
Nov 26, 2022
!17
42-uniform-kernel-documentation
258b2eca
·
chore(language): typo hunting
·
Nov 28, 2022
!38
47-update-uniform-cargo-nix
9c511043
·
fix(type_checker): apply new clippy suggestion
·
Dec 01, 2022
!44
49-add-search-command
057c6709
·
Resolve "Uniform Cargo files + Cargo & Nix Update"
✨
️
·
Dec 01, 2022
!45
50-include-rustyline-into-a-repl-struct
057c6709
·
Resolve "Uniform Cargo files + Cargo & Nix Update"
✨
️
·
Dec 01, 2022
27-add-file-handling-to-proost
0605913c
·
feat(parser): add tests
·
Dec 04, 2022
!26
40-enforce-cargo-protection
eb4c0141
·
chore(fmt): Modify format
·
Dec 04, 2022
!47
48-first-release-preparations
700811b8
·
chore: change branch name mentions to main
·
Dec 04, 2022
!43
Prev
1
2
3
4
5
Next