Noms plus propres pour les automates

diff --git a/automata/automata/life.ml b/automata/automata/life.ml
index 37df929228915e9ed3fa3fa192365d45f8362ba4..7ad5883225de6d83fe4419a0d3403fd95587c243 100644 (file)
--- a/automata/automata/life.ml
+++ b/automata/automata/life.ml
@@ -13,7 +13,7 @@
  * with this program. If not, see <https://www.gnu.org/licenses/>.
  *)
 
-let name = "life"
+let name = "Conway's Game of Life"
 
 type t = Dead | Alive
 

diff --git a/automata/automata/wireworld.ml b/automata/automata/wireworld.ml
index e6a02eeabc3ea7f2673261ea93eb413ad1470d73..f05b7f203f9f06ee6c9fad2b71f831ea118b788f 100644 (file)
--- a/automata/automata/wireworld.ml
+++ b/automata/automata/wireworld.ml
@@ -13,7 +13,7 @@
  * with this program. If not, see <https://www.gnu.org/licenses/>.
  *)
 
-let name = "wireworld"
+let name = "Wireworld"
 
 type t = Empty | Conductor | Head | Tail