name: test-open-witness version: 0.1.1 license: BSD3 license-file: ../LICENSE author: Ashley Yakeley maintainer: Ashley Yakeley build-depends: base==4.*, mtl>=1.1, witness==0.2, open-witness==0.2 category: Data synopsis: test for open witnesses build-type: Simple extensions: RankNTypes EmptyDataDecls GeneralizedNewtypeDeriving ScopedTypeVariables GADTs PatternSignatures FlexibleContexts MultiParamTypeClasses TemplateHaskell executable: Test main-is: Main.hs other-modules: Object Unsafe