From ad6abcd5fc5e4e66062c8a01b511a1bd4bda2e94 Mon Sep 17 00:00:00 2001 From: Joris Date: Sun, 9 Aug 2020 08:37:18 +0200 Subject: Export as CSV --- src/Lib/Fun.ml | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 src/Lib/Fun.ml (limited to 'src/Lib/Fun.ml') diff --git a/src/Lib/Fun.ml b/src/Lib/Fun.ml new file mode 100644 index 0000000..bf1eb38 --- /dev/null +++ b/src/Lib/Fun.ml @@ -0,0 +1,2 @@ +let flip f b a = + f a b -- cgit v1.2.3