abstract-binding-trees icon indicating copy to clipboard operation
abstract-binding-trees copied to clipboard

Published 20 hours ago • verified publisher icon jsiek
→

Metadata

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

Results 0 abstract-binding-trees issues
Sort by recently updated
recently updated
newest added

← Metadata

66
Stars
5
Forks
Watchers

Owner

verified publisher icon jsiek

Metadata

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

Back