feat: Add exported version function
This commit is contained in:
parent
ecacf2107c
commit
021d0b5b7d
|
@ -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
|
||||
|
|
|
@ -0,0 +1,8 @@
|
|||
import Pantograph.Version
|
||||
|
||||
namespace Pantograph
|
||||
|
||||
@[export pantograph_version]
|
||||
def pantograph_version: String := version
|
||||
|
||||
end Pantograph
|
Loading…
Reference in New Issue