Convert terms and definitions to strings

2020-12-13 19:01:55 +00:00 · 2020-12-13 19:01:55 +00:00 · 18e5acd693
commit 18e5acd693
parent 52310c766f
2 changed files with 40 additions and 0 deletions
--- a/propa-tools.cabal
+++ b/propa-tools.cabal
@ -22,6 +22,7 @@ library
  exposed-modules:
      Propa.Lambda.Display
      Propa.Lambda.Term
+      Propa.Prolog.Display
      Propa.Prolog.Example
      Propa.Prolog.Types
      Propa.Prolog.Unify