Michael Goulet 2ed1bdb479 Stop using def_kind() in solver		2024-05-18 16:21:43 -04:00
..
src	Stop using def_kind() in solver	2024-05-18 16:21:43 -04:00
Cargo.toml	Make proof tree building generic	2024-05-18 16:21:43 -04:00
messages.ftl	Make #[diagnostic::on_unimplemented] format string parsing more robust	2024-03-21 08:27:26 +01:00