(use-modules (guix profiles)
             (gnu packages agda)
             (gnu packages cedille)
             (gnu packages coq))

(packages->manifest
  (list #|agda   |# agda agda-ial agda-stdlib agda-categories
        #|cedille|# ;cedille <- currently broken
        #|coq    |# coq coq-interval coq-equations coq-semantics))