Heya @mr_konn@twitter.com! How should I cite ghc-typelits-presburger? Is there a publication attached, or should I just link to the repository or Hackage page?