feat: Add exported version function

This commit is contained in:
Leni Aniva 2024-03-08 23:50:44 -08:00
parent 267d635c05
commit 7bc0f82654
2 changed files with 9 additions and 0 deletions

View File

@ -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

8
Pantograph/Library.lean Normal file
View File

@ -0,0 +1,8 @@
import Pantograph.Version
namespace Pantograph
@[export pantograph_version]
def pantograph_version: String := version
end Pantograph