mini_kanren
macro_rules! list { () => { ... }; ($single:expr) => { ... }; ($car:expr ; $cdr:expr) => { ... }; (($($first:tt)*), $($rest:tt)*) => { ... }; ($first:expr, $($rest:tt)*) => { ... }; }
Constructs a cons list.