From 9c1c2a82d7b1331ec7aa13ffe05e2d1162856a5d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 15 Aug 2018 11:56:54 +0200 Subject: [PATCH] Drop current approach for now, will try with GADTs. --- deques.ml => deques-old.ml | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename deques.ml => deques-old.ml (100%) diff --git a/deques.ml b/deques-old.ml similarity index 100% rename from deques.ml rename to deques-old.ml