diff --git a/elba.toml b/elba.toml new file mode 100644 index 0000000..db4ca39 --- /dev/null +++ b/elba.toml @@ -0,0 +1,14 @@ +[package] +name = "idris-hackers/free" +version = "0.1.0" +authors = ["raichoo"] +description = "Free monads for Idris" +license = "BSD3" + +[targets.lib] +path = "." +mods = [ "Control.Monad.Free" + , "Control.Monad.Codensity" + , "Data.Functor.Coyoneda" + ] +idris_opts = ["--warnreach"]