GitHub repository: GaloisInc/language-sally
Primary language: Haskell
Created: 2017-06-02T18:36:14Z
Description: AST and pretty printer for the Sally input language