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