From e73ad00f44479e3065ccf12d07ca3ae22ca1f3f0 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Tue, 6 Dec 2022 15:40:52 +0200 Subject: Remove ! from end of builtin top-level functions --- examples/types-concept.milch | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'examples/types-concept.milch') diff --git a/examples/types-concept.milch b/examples/types-concept.milch index 8359c6b..9496ffe 100644 --- a/examples/types-concept.milch +++ b/examples/types-concept.milch @@ -5,26 +5,26 @@ (\[b] c) ; f (\[a] b)] ; g (\[a] c))) -(let! +(let compose (\[f g] (\[x] (f (g x))))) ((compose (+ 1) (+ 2)) 3) (type id (\[a] a)) -(let! id (\[a] a)) +(let id (\[a] a)) (type mod (\[Int Int] Int)) -(let! mod (\[n k] +(let mod (\[n k] (- n (* k (/ n k))))) (type not (\[Bool] Bool)) -(let! not (\[b] +(let not (\[b] (match b true false false true))) (type is-even (\[Int] Bool)) -(let! is-even (\[n] +(let is-even (\[n] (match (mod n 2) 0 true 1 false))) -- cgit v1.3