Skip to content

feat(parser): Add new syntaxic sugar and meaningfull error messages, add more...

aalbert requested to merge 10-modify-proost-s-grammar into main

feat(parser): Add new syntaxic sugar and meaningfull error messages, add more efficient conversion into terms (VecDeque), remove unused struct ClassicTerm, remove useless & outdated test.

feat(kernel): Add new command: DefineCheckType. eg: "def x:P := P"

feat(proost): Process multiples commands in one line

Closes #10 (closed)

Edited by aalbert

Merge request reports