On 13/06/2005, at 8:29 PM, Henning Thielemann wrote:
On Sat, 11 Jun 2005, Thomas Sutton wrote:
The end goal in all of this is that the user (perhaps a logician
rather than a computer scientist) will describe the calculus they
wish to use in a simple DSL. This DSL will then be translated into
On Sat, 11 Jun 2005, Thomas Sutton wrote:
The end goal in all of this is that the user (perhaps a logician
rather than a computer scientist) will describe the calculus they
wish to use in a simple DSL. This DSL will then be translated into
Haskell and linked against some infrastructure
Hi all,
I've just started working on a theorem prover (labelled tableaux in
case anyone cares) in Haskell. In preparation, I've been attempting
to define some data types to represent logical formulae. As one of
the requirements of my project is generality (i.e. it must be easily