Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
99-add-let-binder
bd1bb11f
·
fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors
·
May 17, 2024
!91
main
default
protected
9fcf2ac9
·
Resolve "Improve CI by using Nix"
✨
️
·
May 09, 2024
108-opaque-traces
43fcf46b
·
refactor: replace Traces slices with an opaque type owned by the kernel....
·
May 09, 2024
115-improve-ci-by-using-nix
d9d5e208
·
fix(coverage): Generate format directly with one Nix invocation
·
May 09, 2024
!105
106-logsem-seminar-talk
e5ce34f7
·
feat(docs): Add LogSem seminar slides
·
May 04, 2024
!98
109-feat-tilleul-add-vscode-support
9ac18663
·
chore(tilleul): fix issues for the merge request
·
May 04, 2024
!102
111-non-dependent-products-optimisation
b10adbaa
·
feat(kernel): add non-dependant header
·
Jan 11, 2024
!104
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
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
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
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
Prev
1
2
3
4
5
Next