Stream: Beginner Questions

Topic: How do I include external dependencies in exported Haskell?

view this post on Zulip Thomas Gebert (Jul 23 2022 at 14:23):

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: Dec 21 2024 at 16:20 UTC