|
(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))
|