From e7568de1070b074e6b8a0a24d2e4963c7da0bb9f Mon Sep 17 00:00:00 2001 From: John Haugeland Date: Wed, 16 Aug 2017 20:04:14 -0700 Subject: [PATCH] Let's start writing some example machines --- src/machines/traffic lights/simple light.edges | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 src/machines/traffic lights/simple light.edges diff --git a/src/machines/traffic lights/simple light.edges b/src/machines/traffic lights/simple light.edges new file mode 100644 index 00000000..c2885bec --- /dev/null +++ b/src/machines/traffic lights/simple light.edges @@ -0,0 +1,2 @@ +Off -> Red 'Proceed' => Green 'Proceed' => Yellow 'Proceed' => Red; +[Red Yellow Green] ~> Off;