From 8f1facb5a101000dd51005ad108a319d0efd02f8 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= Date: Fri, 13 Dec 2024 02:38:00 +0100 Subject: [PATCH] Noms plus propres pour les automates --- automata/automata/life.ml | 2 +- automata/automata/wireworld.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/automata/automata/life.ml b/automata/automata/life.ml index 69267bf..0324885 100644 --- a/automata/automata/life.ml +++ b/automata/automata/life.ml @@ -13,7 +13,7 @@ * with this program. If not, see . *) -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 9ca3451..14ab5d7 100644 --- a/automata/automata/wireworld.ml +++ b/automata/automata/wireworld.ml @@ -13,7 +13,7 @@ * with this program. If not, see . *) -let name = "wireworld" +let name = "Wireworld" type t = Empty | Conductor | Head | Tail -- 2.46.0