Language.Hakaru.Syntax.ABT

Our basic notion of variables.

The abstract binding tree interface

data View

class ABT syn abt

maxNextFreeOrBind

Capture avoiding substitution for any `ABT`

Constructing first-order trees with a HOAS-like API

class Binders syn abt xs as

Highly experimental

Abstract nonsense

Some ABT instances

data TrivialABT syn xs a

data MemoizedABT syn xs a

data MetaABT meta syn xs a