Fork of https://git.ps.informatik.uni-kiel.de/curry/curry-libs ported from using Cabal to using Stack.