list-routine-learning-rs Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.