elba.toml

[package]
name = "gallais/idris-tparsec"
version = "0.1.0"
authors = ["G. Allais", "Alex Gryzlov"]
license = "GPLv3.0"

[targets.lib]
path = "src"
mods = ["Relation.Indexed"
       ,"Relation.Subset"
       ,"Induction.Nat"

       ,"Data.Digit.Decimal"
       ,"Data.Digit.Hexadecimal"
       ,"Data.Digit"
       ,"Data.Inspect"
       ,"Data.DList"
       ,"Data.NEList"
       ,"Data.SizedDict"
       ,"Data.These"
       ,"Data.Trie"
       ,"Data.Tuple"

       ,"TParsec"
       ,"TParsec.Success"
       ,"TParsec.Result"
       ,"TParsec.Position"
       ,"TParsec.Lexer"
       ,"TParsec.Types"
       ,"TParsec.Combinators"
       ,"TParsec.Combinators.Chars"
       ,"TParsec.Combinators.Numbers"
       ,"TParsec.Combinators.JSON"
       ,"TParsec.Running"
       ]

idris_opts = ["--total"]