Select Git revision
1-dedicated-cargo-files
10-modify-proost-s-grammar
100-incorrect-parsing-of-import-command-when-read-from-a-file
102-add-match-syntax
103-normal-form-memoization
104-implement-normalisation-by-evaluation
105-specialize-traces
106-logsem-seminar-talk
107-parser-simplification
108-opaque-traces
109-feat-tilleul-add-vscode-support
11-use-derive_more-crate
110-unhandled-lsp-requests-declared-as-capabilities-in-tilleul
111-non-dependent-products-optimisation
115-improve-ci-by-using-nix
13-breaking-change-rename-core-crate-to-kernel
14-perftests
15-refactor-memory-type-checker
16-coverage-on-pipelines
17-type-checker-doesn-t-use-the-global-context
19-kernel-errors
19-kernel-errors-2
2-term-definitions
20-lsp-proof-of-concept
22-pretty-printing
23-coverage-on-pipelines-cache
25-coverage-artifacts-and-branches
27-add-file-handling-to-proost
28-add-universe-polymorphism
28-add-universe-polymorphism-2
28-add-universe-polymorphism-3
29-add-user-friendly-commands
3-pest-parser
30-bug-rev-parser
31-supprimer-fichier-inconnu-z-deso
33-underspecified-checking-of-lambda-abstractions
34-make-whnf-less-agressive
34-make-whnf-less-agressive-2
35-update-specs
37-improve-readme
38-error-locations
39-add-functionnalities-to-proost-toplevel
4-build-dockerfile-from-nix
40-enforce-cargo-protection
41-unhandled-integers
42-uniform-kernel-documentation
43-update-pest-parser-location-extraction-for-more-accurate-error-reporting-when-using-emojis
45-optimisation-of-shift-algorithm
47-update-uniform-cargo-nix
48-first-release-preparations
49-add-search-command
5-add-proost-program-cli
5-add-proost-program-cli-2
50-include-rustyline-into-a-repl-struct
51-add-namespace-end
51-add-namespace-end-2
51-add-namespace-end-3
52-add-better-tab-behavior-for-proost-toplevel
53-make-eval-work
54-use-pest-pratt-parser-in-the-parser
55-better-pretty-printing-of-terms
56-add-a-proost-fonctionality-typecheck-files-without-toplevel-when-files-are-given-as-arguments
57-add-definitional-proof-irrelevance
58-add-bool-type
6-specification
60-add-exists-type
61-add-list-type
62-add-sigma-type
63-add-eq
64-fix-remaining-todo-34
66-implement-bidirectional-type-checking
68-make-clippy-annoying
7-informative-error-messages-for-pest-and-free-variables
70-add-axioms
71-panic-when-entering-a
74-add-true-type
75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration
76-refactor-toplevel-repl
77-clippy-error-after-updated
78-classical-logic
8-more-tests-for-parser-and-classic-term-conversion
80-bug-parser-declarations-can-t-be-initiated-with-plus-max-and-imax
81-bug-parser-no-error-when-defining-a-declaration-with-the-same-name-as-a-definition
82-panic-attempt-to-subtract-with-overflow
84-bug-parser-spaces-are-not-allowed-when-declaring-universe-variables
85-lsp-diagnostics
86-preparation-for-release-v0-2-0
87-v0-3-0-presentation
88-test-proost-evaluator
89-allow-wildcards-in-abstractions-and-products
9-add-a-basic-type-checker
91-add-examples-as-a-test-suite-for-the-pipeline
93-add-basic-arithmetic
95-replace-succ-with-an-add-constructor-on-level
97-preparations-for-v0-3-0
98-parsing-building-allow-left-arguments
99-add-let-binder
main
obs_eq
0.1.0
v0.2.0
v0.3.0