Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
103-normal-form-memoization
038565ea
·
chore(calculus term): remove duplicate test (also in axiom/natural.rs)
·
Jan 30, 2023
!93
52-add-better-tab-behavior-for-proost-toplevel
5e45aa00
·
feat:added support for parenthesis position + allow to indent already existing line
·
Feb 03, 2023
!69
91-add-examples-as-a-test-suite-for-the-pipeline
49740fbb
·
ci(tests): add type checking of every `mdln` file in the tests
·
Feb 04, 2023
!94
98-parsing-building-allow-left-arguments
a2c3c6d1
·
chore(parser): add coverage
·
Feb 05, 2023
!88
104-implement-normalisation-by-evaluation
4f08ffa2
·
finish `eval_term`
·
Feb 21, 2023
!95
66-implement-bidirectional-type-checking
523729d7
·
Resolve "Parsing/Building : allow left arguments"
✨
️
·
Feb 21, 2023
!97
105-specialize-traces
6ed5940c
·
[ feat ] specialize traces
·
Feb 24, 2023
102-add-match-syntax
1d81bf81
·
a
·
Mar 05, 2023
!92
95-replace-succ-with-an-add-constructor-on-level
c201ff04
·
chore(cargo deny): cargo update + temporary cargo deny modification to allow...
·
Jul 25, 2023
!84
107-parser-simplification
8af4951e
·
chore(std, examples): fix syntax
·
Aug 01, 2023
!99
99-add-let-binder
acc2bf0d
·
fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors
·
Nov 10, 2023
!91
108-opaque-traces
38de28e7
·
refactor: replace Traces slices with an opaque type owned by the kernel....
·
Nov 10, 2023
110-unhandled-lsp-requests-declared-as-capabilities-in-tilleul
35ea61f0
·
fix(tilleul): change tilleul initialization to indicate that no capability is currentlly handled
·
Nov 25, 2023
!103
81-bug-parser-no-error-when-defining-a-declaration-with-the-same-name-as-a-definition
92daf188
·
fix(proost): return a `BoundVariable` error when defining a declaration and a...
·
Jan 11, 2024
!101
111-non-dependent-products-optimisation
b10adbaa
·
feat(kernel): add non-dependant header
·
Jan 11, 2024
!104
Prev
1
2
3
4
5
Next