differential-datalog icon indicating copy to clipboard operation
differential-datalog copied to clipboard
verified publisher icon vmware

Complete the language reference document

Open ryzhyk opened this issue 7 years ago • 1 comments

  • [ ] Add examples
  • [ ] Add semantic constraints
  • [ ] Ref and & syntax
  • [ ] Standard library reference

ryzhyk avatar Apr 03 '18 21:04 ryzhyk

Reference material for Ref and & would be particularly welcome.

blp avatar May 05 '20 19:05 blp