Update documentation

2016-12-03 19:18:11 -08:00 · 2016-12-03 19:18:11 -08:00 · 6b9a6590d5
commit 6b9a6590d5
parent a58a4c7d86
1 changed files with 4 additions and 0 deletions
--- a/Prelude/Monoid
+++ b/Prelude/Monoid
@ -16,6 +16,10 @@ Examples:
    : ./Monoid Bool
 ./Bool/or
    : ./Monoid Bool
+./Bool/even
+    : ./Monoid Bool
+./Bool/odd
+    : ./Monoid Bool
 ./List/concat
    : ∀(a : Type) → ./Monoid (List a)
 ./List/shifted