Expired
Milestone
Sep 22, 2022–Nov 10, 2022
Alpha release
All issues for this milestone are closed. You may close this milestone now.
Unstarted Issues (open and unassigned)
0
Ongoing Issues (open and assigned)
0
Completed Issues (closed)
24
- Underspecified checking of lambda-abstractions
- Supprimer Fichier inconnu "z" (déso)
- Bug rev parser
- Coverage: Artifacts and branches
- bug in type checker
- Coverage on Pipelines: Cache
- proost fonctionality and UI
- Kernel errors
- Add context (defined symbols, etc) to the application (parser, type checker, etc).
- Type-checker doesn't use the global context
- Coverage on Pipelines
- Refactor memory model of type checker
- Breaking change: Rename `core` crate to `kernel`
- Transition from Pest to Num
- Use `derive_more` crate
- Modify Proost's grammar
- Add a basic type-checker
- More tests for parser and classic term conversion
- Informative error messages for pest and free variables
- Add proost program (CLI)
- Build Dockerfile from Nix
- Pest parser
- Term definitions
- Dedicated cargo files
Loading
Loading
Loading