From 2b09906a3748e2c5095f44b12ad847e7a9aebf53 Mon Sep 17 00:00:00 2001 From: Pierre-Emmanuel Wulfman Date: Wed, 1 Apr 2020 14:52:57 +0200 Subject: [PATCH] remove unwanted files at root --- test.mligo | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 test.mligo diff --git a/test.mligo b/test.mligo deleted file mode 100644 index f197fc1da..000000000 --- a/test.mligo +++ /dev/null @@ -1,8 +0,0 @@ -let rec fibo2 ((n,n_1,n_0):int*int*int) : int = - let fibo2 : int -> int = fun (k : int) -> k in - if (n < 2) then n_1 else fibo2 3 - -let main (p,s : unit * int) : operation list * int = - let x : int = fibo2 (5, 1, 1) in - (([] : operation list), x) -