feat: error wrapping, everywhere
Showing
- kernel/src/command.rs 1 addition, 1 deletionkernel/src/command.rs
- kernel/src/declaration.rs 10 additions, 6 deletionskernel/src/declaration.rs
- kernel/src/environment.rs 10 additions, 4 deletionskernel/src/environment.rs
- kernel/src/error.rs 5 additions, 2 deletionskernel/src/error.rs
- kernel/src/term.rs 34 additions, 31 deletionskernel/src/term.rs
- kernel/src/type_checker.rs 26 additions, 22 deletionskernel/src/type_checker.rs
- kernel/src/universe.rs 0 additions, 1 deletionkernel/src/universe.rs
Loading
Please register or sign in to comment