From b0c2370d4bfcb31b470f81e43e39f1dbc7c90ab3 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= Date: Wed, 7 Jan 2026 14:38:51 +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 37df929..7ad5883 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 e6a02ee..f05b7f2 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.51.0