Uniform Kernel Documentation ✨️
Closes #42 🐔️👍️ Approved-by:belazy <aarthuur01@gmail.com> Approved-by:
v-lafeychine <vincent.lafeychine@proton.me> Approved-by:
aalbert <augustin.albert@bleu-azure.fr> 🦀️
🍰 🦀️🍰 🦀️🍰 * chore(language): typo hunting * chore(kernel/type checker): adapt type checker tests to new kernel interface * chore(kernel/test): adapt `and.rs` test to new kernel interface * chore(proost): adapt proost to new kernel interface * chore(parser): adapt parser to new kernel interface * doc(kernel): complete documentation and interface * doc(kernel/builder): WIP * doc(kernel/calculus): complete documentation for calculus.rs * doc(arena): complete documentation for arena.rs * doc(kernel/arena): WIP
Showing
- kernel/src/command.rs 9 additions, 1 deletionkernel/src/command.rs
- kernel/src/error.rs 4 additions, 0 deletionskernel/src/error.rs
- kernel/src/lib.rs 10 additions, 12 deletionskernel/src/lib.rs
- kernel/src/location.rs 4 additions, 1 deletionkernel/src/location.rs
- kernel/src/term/arena.rs 141 additions, 23 deletionskernel/src/term/arena.rs
- kernel/src/term/builders.rs 48 additions, 8 deletionskernel/src/term/builders.rs
- kernel/src/term/calculus.rs 24 additions, 15 deletionskernel/src/term/calculus.rs
- kernel/src/term/mod.rs 5 additions, 0 deletionskernel/src/term/mod.rs
- kernel/src/type_checker.rs 18 additions, 13 deletionskernel/src/type_checker.rs
- kernel/tests/and.rs 3 additions, 3 deletionskernel/tests/and.rs
- parser/src/error.rs 2 additions, 2 deletionsparser/src/error.rs
- parser/src/lib.rs 2 additions, 3 deletionsparser/src/lib.rs
- parser/src/parser.rs 9 additions, 5 deletionsparser/src/parser.rs
- proost/src/error.rs 2 additions, 2 deletionsproost/src/error.rs
- proost/src/main.rs 2 additions, 2 deletionsproost/src/main.rs
- proost/src/process.rs 5 additions, 5 deletionsproost/src/process.rs
- proost/src/rustyline_helper.rs 1 addition, 1 deletionproost/src/rustyline_helper.rs
Loading
Please register or sign in to comment