Mark Thom 526b56a650 order generation of variable names in attributed goals after toplevel variables (#465)

2020-05-27 11:11:26 -06:00

..

prolog

order generation of variable names in attributed goals after toplevel variables (#465)

2020-05-27 11:11:26 -06:00

tests

Implemented the Debug trait for all data structures

2020-04-26 02:20:24 +02:00

main.rs

merge with master

2020-05-03 18:49:15 -06:00