souffle-lang/souffle-lang.github.io Issues
Correct DOOP URL
UpdatedNeed doc for `.lattice`
UpdatedNo program named souffle-profile
Closed 2functor problem
Closed 11Output Directive
UpdatedImplementation of Relations
UpdatedGrounded Variables
UpdatedTuning
UpdatedType System
UpdatedTab separated input files
Closed 2