abstract-name-binding

There are 1 repository under abstract-name-binding topic.

• catseye / Lariat

  MIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms

  lambda-termsabstract-data-typename-bindingabstract-name-binding
  Language:Haskell 2