Unbound.Generics.LocallyNameless.Name

Names over terms

data Name a

isFreeName

Name construction

string2Name

s2n

makeName

Name inspection

name2String

name2Integer

Heterogeneous names

data AnyName