1 repository on SrcLog
Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.