?prevdifflink? - Blame
Name: Galculator
Version: 0.0.1
Stability: experimental
License: LGPL
License-file: LICENSE
Copyright: (c) Paulo Silva
Cabal-Version: >= 1.2
Author: Paulo Silva
Maintainer: paufil@di.uminho.pt
Homepage: http://wiki.di.uminho.pt/twiki/bin/view/Main/PauloSilva
Synopsis: A proof assistant based on Galois connections.
Description: The Galculator is a prototype of a proof assistant based on
the algebra of Galois connections. When combined with the
pointfree transform and tactics such as the indirect
equality principle, Galois connections offer a very
powerful, generic device to tackle the complexity of proofs.
Category: Proof assistants
Build-type: Simple
Extra-source-files: AUTHORS,
INSTALL,
README,
TODO,
src/Language/R/Syntax.hs-boot
src/Language/Type/Syntax.hs-boot
Executable galculator
Build-Depends: base,
array,
containers,
old-locale,
old-time,
filepath,
directory,
process,
readline,
parsec,
mtl
Main-is: Galculator.hs
Hs-source-dirs: src
Extensions:
EmptyDataDecls,
ExistentialQuantification,
FlexibleContexts,
FlexibleInstances,
FunctionalDependencies,
GADTs,
MultiParamTypeClasses,
PatternSignatures,
Rank2Types,
TypeOperators,
TypeSynonymInstances
Ghc-options: -Wall
Other-modules:
Control.GalcError
Control.MonadOr
Control.MonadPosition
Control.Monad.Fresh
Data.Env
Data.Equal
Data.Existential
Data.Stream
Galculator.Engine.GcToLaw
Galculator.Engine.LawToRule
Galculator.Evaluate
Galculator.Interpreter
Galculator.Proof
Galculator.Rule
Galculator.RunCommand
Galculator.State
Galculator.StepEval
Language.Combinator.Parser
Language.Combinator.Syntax
Language.Command.Parser
Language.Command.Syntax
Language.Derivation.Parser
Language.Derivation.Syntax
Language.Law.Parser
Language.Law.Refresh
Language.Law.Syntax
Language.Law.SyntaxADT
Language.Law.TypeInference
Language.Law.Verify
Language.Module.Parser
Language.Module.Refresh
Language.Module.Syntax
Language.Module.SyntaxADT
Language.Module.TypeInference
Language.Module.Verify
Language.R.Constraint
Language.R.Equality
Language.R.Match
Language.R.Parser
Language.R.Pretty
Language.R.Refresh
Language.R.Rewrite
Language.R.SafeCast
Language.R.Spine
Language.R.Syntax
Language.R.SyntaxADT
Language.R.TypeInference
Language.R.Verify
Language.Step.Parser
Language.Step.Syntax
Language.Type.Constraint
Language.Type.Equality
Language.Type.Parser
Language.Type.Pretty
Language.Type.Rewrite
Language.Type.Syntax
Language.Type.Unification
Language.Type.Utils
|