Closes #13 🐔️👍️

🦀️🍰🦀️🍰🦀️🍰

* chore!(cargo): Rename  crate into

Closes #2 🐔️👍️
Approved-by: belazy <aarthuur01@gmail.com>
Approved-by: loutr <loutr@crans.org>
Approved-by: aalbert <augustin.albert@bleu-azure.fr>

🦀️🍰🦀️🍰🦀️🍰

* feat(term): Complete beta-reduction

* [WIP] feat(term): Improve beta-reduction + Add tests

* feat(term): Early beta-reduction

* feat(term): Add early Term struct + Display trait

aalbert authored 2 years ago and loutr committed 2 years ago

Closes #5

🦀️🍰️🦀️🍰️🦀️🍰️🦀️🍰️
Approved-by: loutr <loutr@crans.org>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>

🦀️🍰️🦀️🍰️🦀️🍰️🦀️🍰️
* fix(proost): iterates over arguments as shared immutable references as to prevent cloning

* chore(proost): Add spaces

* feat(proost): Add banner support for CLI

* feat(proost): Add command line argument support with clap

* feat(proost): Add basic CLI and file handling

Closes #3

Approved-by: belazy <aarthuur01@gmail.com>
Approved-by: aalbert <augustin.albert@bleu-azure.fr>

* fix(parser): Fix minor issues (impl PartialEq for tests)

* feat(parser): Add more inclusive syntax

* feat(parser): Add informative message for free variables

* fix(parser): Fix a conversion bug

* feat(parser,core): Move classic term from core into parser

* feat(parser): Conversion from classic terms to terms

* feat(core): Add conversion from classic term to term

* chore(parser): Rename pest file

* chore(core): Move classic terms in its own file

* feat(parser): Add ClassicTerm with variables for easier user input

* fix(parser): Reorganize lib.rs and parser.rs

* fix(parser): Reorganize lib.rs and parser.rs

* fix(parser): Reorganize lib.rs and parser.rs

* chore(parser): Rename tests files

* chore(parser): Rename tests files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* chore(core): add license

* chore(parser): remove warnings

* chore(core): format files

* chore(parser): remove warnings

* chore(parser): format code

* fix(core): add lib.rs

* feat(term): Add early Term struct + Display trait

* feat(parser): add parser crate and pest config

v-lafeychine authored 2 years ago and loutr committed 2 years ago

Closes #4

Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: loutr <loutr@crans.org>

* Apply 1 suggestion(s) to 1 file(s)

* feat(nix): Build Dockerfile from flake

aalbert authored 2 years ago and v-lafeychine committed 2 years ago

Closes #1

Approved-by: v-lafeychine <vincent.lafeychine@proton.me>
Approved-by: loutr <loutr@crans.org>

* chore(cargo): Add cargo workspace