@hackage / hobbits

A library for canonically representing terms with binding

Latest1.3.1

About

Metadata

  • Last updated , by EddyWestbrook
  • License BSD-3-Clause
  • Categories Data Structures

  • Maintained by: westbrook@galois.com

  • Lottery factor: 0

Links

Installation

Readme

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.