From 31d577c84f2b987ac040565b7a2dd392a58e851a Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Tue, 15 Nov 2016 15:46:47 -0500
Subject: remove outdated files: roadmap and to_gallina

---
 to_gallina.md | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 to_gallina.md

(limited to 'to_gallina.md')

diff --git a/to_gallina.md b/to_gallina.md
deleted file mode 100644
index 1ac5075ef..000000000
--- a/to_gallina.md
+++ /dev/null
@@ -1,7 +0,0 @@
-Remaining work needed for Gallina verification code
----------------------------------------------------
-+ efficient GF exponentiation
-+ efficient GF inverse
-+ make EdDSA point addition use ModularBaseSystem
-+ represent scalars (Fl) in ModularBaseSystem (large c)
-+ canonical representations of field elements
-- 
cgit v1.2.3