Data.Lambda

Lambda terms

data Lambda

isClosed

size

sizeVar

maxIndex

de Bruijn indices

data Index

toInt

toIndex