From 68d5b55c6ff2ffff6b98972d96a7061477cfd13e Mon Sep 17 00:00:00 2001
From: Mark <markbaumeister26@gmail.com>
Date: Thu, 9 Nov 2023 15:22:00 +0100
Subject: [PATCH] make TicTacToe example slightly more elegant

---
 examples/06_TicTacToe.mers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/06_TicTacToe.mers b/examples/06_TicTacToe.mers
index 9120146..5137365 100644
--- a/examples/06_TicTacToe.mers
+++ b/examples/06_TicTacToe.mers
@@ -44,7 +44,7 @@ print_board := board -> {
 }
 
 check_board := () -> {
-  if (f1, f2, f3, f4, f5, f6, f7, f8, f9).map(f -> f.eq(0).eq(false)).all 0
+  if (f1, f2, f3, f4, f5, f6, f7, f8, f9).filter(f -> f.eq(0)).len.eq(0) 0
   else if (f1.eq(0).eq(false), (f1, f2, f3).eq).all f1
   else if (f4.eq(0).eq(false), (f4, f5, f6).eq).all f4
   else if (f7.eq(0).eq(false), (f7, f8, f9).eq).all f7