Resolve "Parser simplification" ✨️
Closes #107 🐔️👍️ 🦀️🍰 🦀️🍰 🦀️🍰 * chore(std, examples): fix syntax * chore(parser): change test to fit new syntax * fix(parser): remove the use of comma as argument separator, for more consistency * fix(parser): simpler, (hopefully) equivalent grammar
parent
4049f3ef
No related branches found
No related tags found
Showing
- examples/irrelevance.mdln 1 addition, 1 deletionexamples/irrelevance.mdln
- parser/src/command/grammar.pest 13 additions, 15 deletionsparser/src/command/grammar.pest
- parser/src/command/parse.rs 61 additions, 61 deletionsparser/src/command/parse.rs
- std/eq.mdln 8 additions, 8 deletionsstd/eq.mdln
- std/nat.mdln 2 additions, 3 deletionsstd/nat.mdln
- std/prop/classical.mdln 15 additions, 15 deletionsstd/prop/classical.mdln
- std/prop/connectives.mdln 9 additions, 9 deletionsstd/prop/connectives.mdln
- std/prop/contraposition.mdln 2 additions, 2 deletionsstd/prop/contraposition.mdln
Loading
Please register or sign in to comment