GitHub repository: ucsd-progsys/lh-plugin-demo-client
Primary language: Haskell
Created: 2020-07-18T21:20:14Z
Description: Client package that shows how to import LH specifications from an external package