An Agda Framework for programming language metatheory based on extrinsic typing, intrinsic scoping and de Bruijn indices.
Primary LanguageAgda