I can use stack2cabal. I am then able to:
cabal build
cabal install
Then if I try haskellings run Types1, if fails because it can not find ghc.
I think tell it where ghc lives with:
haskellings configure
This is fine. I then try haskellings run Types1 again and it fails because it can not find Stack package DB. I am not sure what that is. The error is:
Couldn't find an appropriate stack package DB!
Anyway thank you for the nice app. I would like to try it with cabal.