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