pdrt-sandbox-0.1.1: (Projective) Discourse Representation Theory
Copyright(c) Harm Brouwer and Noortje Venhuizen
LicenseApache-2.0
Maintainerme@hbrouwer.eu, n.j.venhuizen@rug.nl
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.FOL.Show

Description

FOL pretty printing

Synopsis

Exported

printFOLForm :: FOLForm -> IO () #

Prints a FOLForm.

Private

Orphan instances

Show FOLForm #

Derive an instance of the Show typeclass for FOLForm.

Instance details