From 5e75e251e5652908e23b4977e98600688ff9fd81 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Fri, 8 Dec 2023 15:15:33 +0100
Subject: Day 7

---
 Common/String.lean | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Common/String.lean')

diff --git a/Common/String.lean b/Common/String.lean
index 7fe7aee..3edbd63 100644
--- a/Common/String.lean
+++ b/Common/String.lean
@@ -2,3 +2,5 @@ namespace String
 
 def splitTrim (c : Char → Bool) (s : String) : List String :=
   String.trim <$> s.split c
+
+def notEmpty : String → Bool := not ∘ isEmpty
-- 
cgit v1.2.3

