Use LocallyNameless for patch representation #18

Open

opened

http://hackage.haskell.org/package/unbound-0.5.1.1/docs/Unbound-LocallyNameless.html#t:Name

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests