I want to export something in Isabelle/HOL to Haskell. I would like to use the HashSet from the
unordered-containers package in hackage (https://hackage.haskell.org/package/unordered-containers), but I am unsure the best way to go about linking in a Stack or Cabal project. Does anyone have any examples of how to go about doing that?
Last updated: Feb 27 2024 at 08:17 UTC