name: Indef2 version: 0.1.0.0 license: BSD3 author: Edward Z. Yang maintainer: ezyang@cs.stanford.edu build-type: Simple cabal-version: 2.0 library asig1 signatures: A build-depends: base default-language: Haskell2010 library build-depends: asig1 default-language: Haskell2010