added mkMeta and unMeta in the Haskell binding

2026-05-02 15:52:50 -06:00 · 2017-01-26 10:17:02 +00:00
parent 47a4363d07
commit 06450249e3
5 changed files with 102 additions and 1 deletions
--- a/src/runtime/haskell-bind/PGF2.hsc
+++ b/src/runtime/haskell-bind/PGF2.hsc
@@ -31,7 +31,12 @@ module PGF2 (-- * PGF
             Fun,functions, functionsByCat, functionType, hasLinearization,
             -- ** Expressions
             Expr,showExpr,readExpr,
-             mkAbs,unAbs,mkApp,unApp,mkStr,unStr,mkInt,unInt,mkFloat,unFloat,
+             mkAbs,unAbs,
+             mkApp,unApp,
+             mkStr,unStr,
+             mkInt,unInt,
+             mkFloat,unFloat,
+             mkMeta,unMeta,
             -- ** Types
             Type(..), Hypo, BindType(..), startCat, showType,