Garmelon/propa-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove examples for testing

Browse source
This commit is contained in:
Joscha 2020-12-13 23:23:37 +00:00
parent 744091de01
commit 90669d01f2
2 changed files with 0 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

1
propa-tools.cabal
View file

@ -24,7 +24,6 @@ library
Propa.Lambda.Term Propa.Lambda.Term
Propa.Prolog.Debug Propa.Prolog.Debug
Propa.Prolog.Display Propa.Prolog.Display
Propa.Prolog.Example
Propa.Prolog.Parse Propa.Prolog.Parse
Propa.Prolog.Types Propa.Prolog.Types
Propa.Prolog.Unify Propa.Prolog.Unify

19
src/Propa/Prolog/Example.hs
View file

@ -1,19 +0,0 @@
{-# LANGUAGE OverloadedStrings #-}
module Propa.Prolog.Example where
import qualified Data.Text as T
import Propa.Prolog.Types
db :: Db T.Text
db =
[ Def "append" [Stat "nil" [], Var "Y", Var "Y"] []
, Def "append" [Stat "cons" [Var "X", Var "XS"], Var "Y", Stat "cons" [Var "X", Var "Z"]] [Stat "append" [Var "XS", Var "Y", Var "Z"]]
]
l12 :: Term T.Text
l12 = Stat "cons" [Stat "1" [], Stat "cons" [Stat "2" [], Stat "nil" []]]
l345 :: Term T.Text
l345 = Stat "cons" [Stat "3" [], Stat "cons" [Stat "4" [], Stat "cons" [Stat "5" [], Stat "nil" []]]]