From 35bf45fe54788c6fca6b105b65fc1622a4bb7d34 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Tue, 6 Dec 2022 19:43:01 +0200
Subject: Rename and add lib stuff

---
 examples/types-concept.milch | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'examples/types-concept.milch')

diff --git a/examples/types-concept.milch b/examples/types-concept.milch
index 476c96b..a2126d9 100644
--- a/examples/types-concept.milch
+++ b/examples/types-concept.milch
@@ -26,8 +26,8 @@
         true false
         false true)))
 
-(type is-even (\[Int] Bool))
-(let is-even (\[n]
+(type even? (\[Int] Bool))
+(let even? (\[n]
     (match (mod n 2)
         0 true
         1 false)))
-- 
cgit v1.3