diff --git a/README.md b/README.md index 6675ae7..7dc3651 100644 --- a/README.md +++ b/README.md @@ -22,6 +22,19 @@ Then: idris --testpkg test.ipkg ``` +### elba + +If you use [elba](https://github.com/elba/elba) to manage your Idris packages, +adding this package as a dependency is as easy as: + +```toml +# elba.toml +[dependencies] +"vmchale/recursion_schemes" = { git = "https://github.com/vmchale/recursion_schemes" } +``` + +To run the tests, clone the repository and run `elba test` in it. + ## Use The classic paper [Functional programming with bananas, lenses, envelopes and diff --git a/elba.toml b/elba.toml index 958953e..a27a6cd 100644 --- a/elba.toml +++ b/elba.toml @@ -10,7 +10,7 @@ license = "BSD3" "idris-hackers/free" = { git = "https://github.com/vmchale/idris-free" } [dev_dependencies] -"git/specdris" = { git = "https://github.com/vmchale/specdris" } +"pheymann/specdris" = { git = "https://github.com/pheymann/specdris" } [targets.lib] path = "." @@ -23,5 +23,5 @@ idris_opts = ["--warnreach"] [[targets.test]] name = "recursion_schemes-test" -main = "Test/Spec.idr" +main = "Test/Spec.specSuite" idris_opts = ["--warnreach"]