Hydra.Kernel

A proxy for the Hydra kernel, i.e. the code which must be present in every Hydra implementation, and can be imported as a unit.

Documentation

module Hydra.AdapterUtils

module Hydra.Adapters

module Hydra.Basics

module Hydra.Coders

module Hydra.Compute

module Hydra.Constants

module Hydra.Constraints

module Hydra.Core

module Hydra.CoreDecoding

module Hydra.CoreEncoding

module Hydra.CoreLanguage

module Hydra.Extras

module Hydra.Graph

module Hydra.Inference

module Hydra.Annotations

module Hydra.Lexical

module Hydra.LiteralAdapters

module Hydra.Mantle

module Hydra.Messages

module Hydra.Module

module Hydra.Phantoms

module Hydra.Printing

module Hydra.Query

module Hydra.Reduction

module Hydra.Rewriting

module Hydra.Strip

module Hydra.TermAdapters

module Hydra.Tier1

module Hydra.Tier2

module Hydra.Tier3

module Hydra.Tools.Debug

module Hydra.Tools.Formatting

module Hydra.Tools.Sorting

module Hydra.Workflow