Programmming with names and binders using unbound-generics

There's not much here yet. Go take a look at unbound-generics on hackage

Examples

The examples are in the GitHub repo.

• Canonical LF