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: Feb 27 2024 at 08:17 UTC