[isabelle] Haskabelle and Literate Haskell
I'm planning to use haskabelle in my research and currently
I'm using literate Haskell.
However, as far as I could go, I noticed that Haskabelle
searches for *.hs files, plain haskell.
Is there something I could do in order to use my Literate Haskell files,
or it is mandatory to use plain haskell for it?
Artur Oliveira Gomes
PhD Student - SCSS - Trinity College Dublin
Sistemas de InformaÃÃo - CPAN
Universidade Federal de Mato Grosso do Sul - Brazil
This archive was generated by a fusion of
Pipermail (Mailman edition) and