catseye/Lariat

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

语言：Haskell · GitHub 星标：4 · Fork：1

话题：abstract-data-type · abstract-name-binding · lambda-terms · name-binding

在 GitHub 上查看原仓库