From 063d8ef9eaf874a941f4459e831057dd0a1b7ddd Mon Sep 17 00:00:00 2001
From: Joris
Date: Tue, 5 Jul 2022 21:55:41 +0200
Subject: Rewrite in TS

---
 src/Lib/Fun.ml | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 src/Lib/Fun.ml

(limited to 'src/Lib/Fun.ml')

diff --git a/src/Lib/Fun.ml b/src/Lib/Fun.ml
deleted file mode 100644
index bf1eb38..0000000
--- a/src/Lib/Fun.ml
+++ /dev/null
@@ -1,2 +0,0 @@
-let flip f b a =
-  f a b
-- 
cgit v1.2.3