I personally lean more toward gdb-style debugging than print-style debugging, which I think is what Debug is for. But you are right, there's no reason types like Addr shouldn't derive Debug.
The Debug trait will also help when using scryer-prolog as a library. I will start the implementation of Debug trait for the data structures if it's OK.
Yes, please do.
Could be closed now then?
Most helpful comment
Yes, please do.