thoughts:haskell-to-agda: content
thoughts:haskell-to-agda: content.