From d2497d2ac544cd3cc4c1ef0a319296d54bd21080 Mon Sep 17 00:00:00 2001 From: David Cao Date: Mon, 20 Aug 2018 02:08:46 -0700 Subject: [PATCH 1/2] Fix up elba.toml --- elba.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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"] From bff4409e92a050555ec51b78c02527c4b17226a7 Mon Sep 17 00:00:00 2001 From: David Cao Date: Mon, 20 Aug 2018 08:40:53 -0700 Subject: [PATCH 2/2] Sell out for elba a lil bit --- README.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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