on 44ec3cd help sign in
all commits
5f5dd31implement Tutorial D delete with predicateAgentM 2f6b871implement update operator with simple restriction clause implement simple Tutorial D actions to allow for "quit" actionAgentM 550b966fix unused module and name warningsAgentM 2c7f52aadd a mkRelation testAgentM 89cf883cabalize projectAgentM 49ed722working Tutorial D parserAgentM