Use player_monoids

2016-08-05 13:45:03 -07:00
parent e67d3b7a75
commit 92b243ad27
4 changed files with 24 additions and 39 deletions
--- a/description.txt
+++ b/description.txt
@ -1 +1 @@
-A monoidal_effects monoid for armor
+A player_monoids monoid for armor