Re: [isabelle] haskabelle importer

Hi Rick,

> I'm working through my setup. So far so good.
> One question. When I execute bin/buildbin the system returns:
> Importer/Configuration.hs:53:17:
>     Could not find module `Language.Haskell.Exts':
>       Use -v to see a list of the files searched for.
> Cannot build source.
> Do I need to install a package?

Yes, definitely; the list of packages to install etc. you can find in
the Haskabelle manual which can be found in the doc/ directory of the

Hope this helps,



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.