Data.Binding.Hobbits

Values under multi-bindings

Closed terms

Pattern-matching multi-bindings and closed terms

Lifting values out of multi-bindings

Ancilliary modules