Mark Thom 56ec550031 fix unification on string lists.

2018-12-23 12:14:03 -07:00

..

machine_errors.rs

correct conformity errors

2018-09-16 14:11:21 -06:00

machine_state_impl.rs

fix unification on string lists.

2018-12-23 12:14:03 -07:00

machine_state.rs

fix unification on string lists.

2018-12-23 12:14:03 -07:00

mod.rs

add expand_goal, make user:term_expansion and user:goal_expansion work properly within modules

2018-12-11 22:57:11 -07:00

system_calls.rs

fix expand_goal and expand_term

2018-12-13 19:38:44 -07:00

term_expansion.rs

add expand_goal, make user:term_expansion and user:goal_expansion work properly within modules

2018-12-11 22:57:11 -07:00