Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
111-non-dependent-products-optimisation
b10adbaa
·
feat(kernel): add non-dependant header
·
Jan 11, 2024
!104
main
default
protected
202ac1e5
·
Resolve "Bug(Parser): no error when defining a declaration with the same name as a definition"
✨
️
·
Jan 11, 2024
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
109-feat-tilleul-add-vscode-support
3da874ce
·
chore(tilleul): fix issues for the merge request
·
Dec 17, 2023
!102
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
108-opaque-traces
38de28e7
·
refactor: replace Traces slices with an opaque type owned by the kernel....
·
Nov 10, 2023
99-add-let-binder
acc2bf0d
·
fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors
·
Nov 10, 2023
!91
107-parser-simplification
8af4951e
·
chore(std, examples): fix syntax
·
Aug 01, 2023
!99
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
106-logsem-seminar-talk
8d09877d
·
feat(docs): Add LogSem seminar slides
·
Mar 06, 2023
!98
102-add-match-syntax
1d81bf81
·
a
·
Mar 05, 2023
!92
105-specialize-traces
6ed5940c
·
[ feat ] specialize traces
·
Feb 24, 2023
66-implement-bidirectional-type-checking
523729d7
·
Resolve "Parsing/Building : allow left arguments"
✨
️
·
Feb 21, 2023
!97
104-implement-normalisation-by-evaluation
4f08ffa2
·
finish `eval_term`
·
Feb 21, 2023
!95
98-parsing-building-allow-left-arguments
a2c3c6d1
·
chore(parser): add coverage
·
Feb 05, 2023
!88
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
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
103-normal-form-memoization
038565ea
·
chore(calculus term): remove duplicate test (also in axiom/natural.rs)
·
Jan 30, 2023
!93
97-preparations-for-v0-3-0
488dde16
·
chore: move the toplevel screenshot to the manual, as a listing
·
Jan 30, 2023
!90
87-v0-3-0-presentation
c0ebc27b
·
feat(presentation): Add coverage slides
·
Jan 26, 2023
!75
Prev
1
2
3
4
5
Next