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: Nov 11 2024 at 01:24 UTC