1 repository on SrcLog
A distributed computation primitive based on oblivious projection, local admissibility, and relational state.