haskell@gentoo.org Gentoo Haskell Auxiliary Haskell code used by Agda's standard library. agda/agda-stdlib