(define-package "agda2-mode" "2.5.4"
  "interactive development for Agda, a dependently typed functional programming language")