Resolve "replace `Succ` with an `Add` constructor on `Level`" ✨️
Closes #95 🐔️👍️ Approved-by:aalbert <augustin.albert@bleu-azure.fr> Approved-by:
loutr <l.ta-ma@proton.me> 🦀️
🍰 🦀️🍰 🦀️🍰 * chore(cargo deny): cargo update + temporary cargo deny modification to allow duplicate dependency versions * fix(kernel, level): remove useless memoization + some minor simplifications * fix(kernel): use u32 in order to have safe conversions to i64 * fix(kernel): wrap int conversion * feat(kernel): replace `Succ` constructor with `Add`
parent
523729d7
No related branches found
No related tags found
Showing
- Cargo.lock 268 additions, 219 deletionsCargo.lock
- deny.toml 1 addition, 1 deletiondeny.toml
- elaboration/src/builder/level.rs 4 additions, 4 deletionselaboration/src/builder/level.rs
- kernel/src/calculus/level.rs 5 additions, 5 deletionskernel/src/calculus/level.rs
- kernel/src/memory/arena.rs 7 additions, 2 deletionskernel/src/memory/arena.rs
- kernel/src/memory/level/builder.rs 3 additions, 3 deletionskernel/src/memory/level/builder.rs
- kernel/src/memory/level/mod.rs 41 additions, 62 deletionskernel/src/memory/level/mod.rs
- kernel/src/memory/term/builder.rs 3 additions, 3 deletionskernel/src/memory/term/builder.rs
- kernel/src/memory/term/foo 0 additions, 0 deletionskernel/src/memory/term/foo
- kernel/src/memory/term/mod.rs 2 additions, 2 deletionskernel/src/memory/term/mod.rs
- parser/src/command/parse.rs 1 addition, 1 deletionparser/src/command/parse.rs
Loading
Please register or sign in to comment