Projects in Awesome Lists tagged with name-binding
A curated list of projects in awesome lists tagged with name-binding .
https://github.com/catseye/lariat
MIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms
abstract-data-type abstract-name-binding lambda-terms name-binding
Last synced: 23 Jun 2025
