Nominal techniques as an Agda library. - Murdoch J. Gabbay; Orestis Melkonian (CoRR, 2026)