Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: abstract-name-binding

catseye/Lariat

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

Language: Haskell - Size: 54.7 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

Related Keywords
abstract-data-type 1 abstract-name-binding 1 lambda-terms 1 name-binding 1