3a76afaWIP: refactoring to allow for remote access in tutd -add clear remote access points in Interpreter.hs and friends -delete direct access to transaction graph and disconnected transaction -import works -export brokenAgentM11 years ago ca72287atom EQ redefinition branch complete -all tests passAgentM11 years ago e4f6b64WIP: much refactoring for Atom existential quantification changeAgentM11 years ago c2dac1brefactor tuple set to be list-based instead of hashset-based in preparation for infinitely-sized relationsAgentM11 years ago a1fd20eswitch transaction graph display to use BoolAtom instead of IntAtomAgentM11 years ago 7bbe8c3refactor transaction graph display away from interpreter for preparation for client library -the client library may wish to access the transaction graph as a relationAgentM11 years ago b522248WIP: transaction graph reads and writes now working -add persistence mode -add database config typeAgentM11 years ago fde4091WIP: incremental reading and writing of the graphAgentM11 years ago