Chayim Refael Friedman 8a9a1e3345 Remove all upcasts! ... It turns out there were a lot redundant too.		2025-04-10 11:08:38 +03:00
..
expr.rs	Remove all upcasts!	2025-04-10 11:08:38 +03:00
tactics.rs	cargo fmt	2025-03-15 21:32:01 +01:00