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 (, 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 07 2023 at 20:16 UTC