HERMIT.Kure

KURE

Sub-Modules

Synonyms

type TransformH a b

type RewriteH a

type BiRewriteH a

type LensH a b

type PathH

Utilities

Congruence combinators

Modguts

Program

Binding Groups

Recursive Definitions

Case Alternatives

Expressions

Composite Congruence Combinators

defOrNonRecAllR

defOrNonRecAnyR

defOrNonRecOneR

Recursive Composite Congruence Combinators

Types

Coercions

axiomInstCoAllR

axiomInstCoAnyR

axiomInstCoOneR

Lemmas

Applicative