hobbits-1.0: A library for canonically representing terms with binding
A library for canonically representing terms with binding via a constructor for introducing fresh names and a restricted API that avoids the need for alpha-equivalence.
A library for canonically representing terms with binding via a constructor for introducing fresh names and a restricted API that avoids the need for alpha-equivalence.