From 79740cde8921854f135df523110bdc2c85283b3e Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Mon, 14 May 2018 22:44:58 +0200 Subject: Update examples --- good/tupleAdd.mim | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 good/tupleAdd.mim (limited to 'good') diff --git a/good/tupleAdd.mim b/good/tupleAdd.mim deleted file mode 100644 index 807215b..0000000 --- a/good/tupleAdd.mim +++ /dev/null @@ -1,4 +0,0 @@ -(let (add xy : {Int Int}) - (+ xy.1 xy.2) - (add {1 3})) - -- cgit v1.2.3