/gnu/machine/

oszko.org/guix/atom/gnu/packages/agda.scm?h=koszko' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2021-10-08gnu: Update Haskell ecosystem....Lars-Dominik Braun