content: [package]
  name = "typedefs/typedefs"
  version = "0.2.0"
  authors = []
  
  [dependencies]
  "gallais/idris-tparsec" = { git = "https://github.com/gallais/idris-tparsec/", tag = "943c64dfcb4e1582696f68312fad88145dc3a8e4"}
  "HuwCampbell/optparse-idris" = { git = "https://github.com/statebox/optparse-idris" }
  "ziman/idris-bytes" = { git = "https://github.com/statebox/idris-bytes/" }
  "HuwCampbell/idris-lens" = { git = "https://github.com/andrevidela/idris-lens" }
  
  [dev_dependencies]
  "pheymann/specdris" = { git = "https://github.com/pheymann/specdris/" }
  
  [targets.lib]
  path = "src"
  mods = [ "Typedefs.Names"
         , "Typedefs.Text"
         , "Typedefs.Parse"
         , "Typedefs.Idris"
         , "Typedefs.DependentLookup"
         , "Typedefs.Typedefs"
         , "Typedefs.Library"
         , "Typedefs.TypedefsDecEq"
         , "Typedefs.TermParse"
         , "Typedefs.TermWrite"
         , "Typedefs.Backend"
         , "Typedefs.Backend.Data"
         , "Typedefs.Backend.Effects"
         , "Typedefs.Backend.Utils"
         , "Typedefs.Backend.Haskell"
         , "Typedefs.Backend.Haskell.Data"
         , "Typedefs.Backend.Haskell.Termgen"
         , "Typedefs.Backend.Haskell.Typegen"
         , "Typedefs.Backend.JSON"
         , "Typedefs.Backend.ReasonML"
         ]
  idris_opts = ["-p","contrib","-p","effects"]
  
  [[targets.bin]]
  path = "src"
  name = "typedefs"
  main = "CLI/Main.idr"
  idris_opts = ["-p","contrib","-p","effects"]
  
  [[targets.test]]
  path = "src"
  main = "Typedefs.Test.TypedefsSuite.testSuite"
  idris_opts = ["-p","contrib","-p","effects","--total"]
  