The latest version of hermit is 1.0.1-1.
lib:hermit
Modules
- HERMIT
- HERMIT.Context
- HERMIT.Core
- HERMIT.Dictionary
- HERMIT.Dictionary.AlphaConversion
- HERMIT.Dictionary.Common
- HERMIT.Dictionary.Composite
- HERMIT.Dictionary.Debug
- HERMIT.Dictionary.FixPoint
- HERMIT.Dictionary.Fold
- HERMIT.Dictionary.Function
- HERMIT.Dictionary.GHC
- HERMIT.Dictionary.Induction
- HERMIT.Dictionary.Inline
- HERMIT.Dictionary.Kure
- HERMIT.Dictionary.Local
- HERMIT.Dictionary.Local.Bind
- HERMIT.Dictionary.Local.Case
- HERMIT.Dictionary.Local.Cast
- HERMIT.Dictionary.Local.Let
- HERMIT.Dictionary.Navigation
- HERMIT.Dictionary.Navigation.Crumbs
- HERMIT.Dictionary.New
- HERMIT.Dictionary.Query
- HERMIT.Dictionary.Reasoning
- HERMIT.Dictionary.Rules
- HERMIT.Dictionary.Undefined
- HERMIT.Dictionary.Unfold
- HERMIT.Dictionary.Unsafe
- HERMIT.Dictionary.WorkerWrapper.Common
- HERMIT.Dictionary.WorkerWrapper.Fix
- HERMIT.Dictionary.WorkerWrapper.FixResult
- HERMIT.Driver
- HERMIT.External
- HERMIT.GHC
- HERMIT.GHC.Typechecker
- HERMIT.Kernel
- HERMIT.Kernel.Scoped
- HERMIT.Kure
- HERMIT.Kure.SumTypes
- HERMIT.Monad
- HERMIT.Parser
- HERMIT.ParserCore
- HERMIT.Plugin
- HERMIT.Plugin.Builder
- HERMIT.Plugin.Display
- HERMIT.Plugin.Renderer
- HERMIT.Plugin.Types
- HERMIT.PrettyPrinter.AST
- HERMIT.PrettyPrinter.Clean
- HERMIT.PrettyPrinter.Common
- HERMIT.PrettyPrinter.GHC
- HERMIT.Shell.Command
- HERMIT.Shell.Dictionary
- HERMIT.Shell.Externals
- HERMIT.Shell.Interpreter
- HERMIT.Shell.Proof
- HERMIT.Shell.ScriptToRewrite
- HERMIT.Shell.Types
- HERMIT.Utilities
Dependencies
- ansi-terminal lib:ansi-terminal >=0.5.5
- array lib:array >=0
- base lib:base >=4 && <5
- containers lib:containers >=0.5.0.0
- data-default lib:data-default >=0.5.0
- ghc lib:ghc >=7.6
- haskeline lib:haskeline >=0.7.0.3
- kure lib:kure >=2.14.0 && <3.0
- marked-pretty lib:marked-pretty >=0.1
- mtl lib:mtl >=2.1.2
- operational lib:operational >=0.2.2.1
- process lib:process >=1.1.0.2
- stm lib:stm >=2.4
- temporary lib:temporary >=1.1.2.4
- terminfo lib:terminfo >=0.3.2.5
- transformers lib:transformers >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- hermit exe:hermit
- hermit test:hermit-tests
- hermit-syb lib:hermit-syb