[Ur] need help with unification and field name disjointness proof failures

Benjamin Barenblat bbaren at mit.edu
Thu Apr 6 16:53:50 EDT 2017


Er, excuse me. s/database/table/g. You can use `oneOrNoRows` to query
multiple *tables* simultaneously.



More information about the Ur mailing list