GitHub repository: jsiek/abstract-binding-trees
Primary language: Agda
Created: 2020-02-04T22:23:49Z
Description: Abstract binding trees (abstract syntax trees plus binders), as a library in Agda