Noms plus propres pour les automates

diff --git a/automata/automata/life.ml b/automata/automata/life.ml
index 69267bf4fd9f1f43dae7da9efb24e72bf7ff65c6..032488511f794c0361ffe11a813a7de878d83cd7 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 9ca34515f49742fb5d78e130cd3951eb3bccd734..14ab5d7bebc6f30064ca7b1072b0dce59fdaad2a 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