From 021d0b5b7d10b821abb0e07f1341caa9bca8b405 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Fri, 8 Mar 2024 23:50:44 -0800
Subject: [PATCH] feat: Add exported version function

---
 Pantograph.lean         | 1 +
 Pantograph/Library.lean | 8 ++++++++
 2 files changed, 9 insertions(+)
 create mode 100644 Pantograph/Library.lean

diff --git a/Pantograph.lean b/Pantograph.lean
index 46729fc..90ce2d2 100644
--- a/Pantograph.lean
+++ b/Pantograph.lean
@@ -2,6 +2,7 @@ import Pantograph.Goal
 import Pantograph.Protocol
 import Pantograph.Serial
 import Pantograph.Environment
+import Pantograph.Library
 import Lean.Data.HashMap
 
 namespace Pantograph
diff --git a/Pantograph/Library.lean b/Pantograph/Library.lean
new file mode 100644
index 0000000..330d84d
--- /dev/null
+++ b/Pantograph/Library.lean
@@ -0,0 +1,8 @@
+import Pantograph.Version
+
+namespace Pantograph
+
+@[export pantograph_version]
+def pantograph_version: String := version
+
+end Pantograph