Browse files

exporting two more types for haddock

  • Loading branch information...
1 parent b396086 commit 674e9059e1cb69402170a82db4e81c0f3382ea51 @doaitse doaitse committed Oct 20, 2011
View
2 NanoProlog.cabal
@@ -1,5 +1,5 @@
Name: NanoProlog
-Version: 0.2.3.2
+Version: 0.2.3.3
Synopsis: Very small interpreter for a Prolog-like language
Description: This package was developed to demonstrate the ideas behind
the Prolog language. It contains a very small interpreter
View
1 src/.#Main.hs
View
1 src/Language/Prolog/NanoProlog/.#NanoProlog.hs
View
2 src/Language/Prolog/NanoProlog/NanoProlog.hs
@@ -13,6 +13,8 @@ module Language.Prolog.NanoProlog.NanoProlog (
, Subst(..)
, Taggable(..)
, Term(..)
+ , Proofs
+ , TaggedTerm
, emptyEnv
, enumerateDepthFirst
, matches

0 comments on commit 674e905

Please sign in to comment.