L

LambdaCalculus

A haskell tool to manipulate lambda expressions in De Bruijn form.