Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
51-add-namespace-end
7c3030fb
·
chore: apply clippy
·
Dec 16, 2022
53-make-eval-work
8564629b
·
Resolve "Make `whnf()` less agressive"
✨
️
·
Dec 14, 2022
54-use-pest-pratt-parser-in-the-parser
8564629b
·
Resolve "Make `whnf()` less agressive"
✨
️
·
Dec 14, 2022
34-make-whnf-less-agressive-2
72ec9799
·
feat: coverage
·
Dec 14, 2022
48-first-release-preparations
700811b8
·
chore: change branch name mentions to main
·
Dec 04, 2022
40-enforce-cargo-protection
eb4c0141
·
chore(fmt): Modify format
·
Dec 04, 2022
27-add-file-handling-to-proost
0605913c
·
feat(parser): add tests
·
Dec 04, 2022
49-add-search-command
057c6709
·
Resolve "Uniform Cargo files + Cargo & Nix Update"
✨
️
·
Dec 01, 2022
50-include-rustyline-into-a-repl-struct
057c6709
·
Resolve "Uniform Cargo files + Cargo & Nix Update"
✨
️
·
Dec 01, 2022
47-update-uniform-cargo-nix
9c511043
·
fix(type_checker): apply new clippy suggestion
·
Dec 01, 2022
42-uniform-kernel-documentation
258b2eca
·
chore(language): typo hunting
·
Nov 28, 2022
15-refactor-memory-type-checker
30921739
·
chore(cargo): update
·
Nov 26, 2022
43-update-pest-parser-location-extraction-for-more-accurate-error-reporting-when-using-emojis
9fcaffde
·
change char for bytes
·
Nov 26, 2022
37-improve-readme
0084562b
·
add ?main
·
Nov 26, 2022
39-add-functionnalities-to-proost-toplevel
1a0f0401
·
format
·
Nov 26, 2022
28-add-universe-polymorphism-2
ab3d2a84
·
feat:yes
·
Nov 26, 2022
28-add-universe-polymorphism
e6983f21
·
feat(kernel): allow printing of universe-polymorph functions with unbound universes
·
Nov 15, 2022
35-update-specs
cb83c45a
·
docs: fix example
·
Nov 10, 2022
33-underspecified-checking-of-lambda-abstractions
381c00ef
·
fix(kernel): complete beta-reduction
·
Nov 09, 2022
19-kernel-errors-2
a9d5b46a
·
chore(Cargo.toml): Add a missing space
·
Nov 03, 2022
Prev
1
2
3
4
Next