Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
56-add-a-proost-fonctionality-typecheck-files-without-toplevel-when-files-are-given-as-arguments
dc88439c
·
correct super::**
·
Jan 11, 2023
!65
76-refactor-toplevel-repl
d10149e6
·
fix(proost): remove useless map_err in main routine
·
Jan 10, 2023
!66
20-lsp-proof-of-concept
a070be67
·
chore(tilleul): fix typos in documentation
·
Jan 06, 2023
!33
63-add-eq
6706c370
·
feat(kernel): better recursor pattern recognition
·
Jan 06, 2023
82-panic-attempt-to-subtract-with-overflow
e2c525ec
·
Resolve "Add axioms"
✨
️
·
Jan 05, 2023
70-add-axioms
ff77648b
·
fix: change lifetime in functions for axiom-term construction
·
Jan 05, 2023
!55
77-clippy-error-after-updated
bb3b5d07
·
chore(clippy): Add clippy lint + Fix pattern_type_mismatch lint
·
Jan 04, 2023
!63
38-error-locations
6b21621d
·
Apply 1 suggestion(s) to 1 file(s)
·
Dec 31, 2022
!36
75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration
4d02977f
·
chore(clippy): clippy
·
Dec 27, 2022
!57
68-make-clippy-annoying
420f6576
·
chore(nix): Bump dependencies
·
Dec 26, 2022
!54
71-panic-when-entering-a
c03cb62b
·
feat(proost): add test for is_command behavior with 1 letter
·
Dec 24, 2022
!56
28-add-universe-polymorphism-3
99dcd6d7
·
fix(proost): added Define command back (need to distinguish between the two in...
·
Dec 24, 2022
!40
58-add-bool-type
e426fde5
·
feat: Basic boolean type, with if, and, or, not
·
Dec 22, 2022
51-add-namespace-end-2
f30898ad
·
fix(proost): adapt evaluator to module_tree
·
Dec 18, 2022
64-fix-remaining-todo-34
7b9c4c51
·
fix : remaining todo
·
Dec 17, 2022
!53
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
!49
48-first-release-preparations
700811b8
·
chore: change branch name mentions to main
·
Dec 04, 2022
!43
Prev
1
2
3
4
5
Next