Merge remote-tracking branch 'github/master'

fogfish · Jun 10, 2019 · 70c5968 · 70c5968
2 parents a6c4427 + 3186018
commit 70c5968
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/rebar.config b/rebar.config
@@ -13,9 +13,6 @@
 ,  "src/category/datum_cat_reader.erl"
 ,  "src/category/datum_cat_kleisli.erl"
 
-,  "src/monad/monad.erl"
-,  "src/monad/datum_monad.erl"
-
 ,  "src/partial.erl"
 
 ,  "src/foldable.erl"