Nominal techniques in Agda Mostly based on: Murdoch J. Gabbay and Andrew M. Pitts 2002 "A New Approach to Abstract Syntax with Variable Binding" and the Haskell package nom. HTML Browse the Agda code in HTML here.