Hi
I'm a student of Computer Science and trying to get firm with GreenCard.
Within my dissertation I have to implement the data structure of BDDs
for our tool Truth written in Haskell. Because BDDs are easier to
implement in C I need an interface from Haskell to C and vice versa. A
couple of weeks earlier I decided to work with H/Direct in the great
hope to make an easier deal. But so far H/Direct seems far from being
complete and my question is, are you still working on this and if so,
when will H/Direct be ready for use?
So far I make some wild hacks within HDirect.lhs in order to adapt it to
my needs, but I think that's nothing for the future.
Thanks for answering
_____Thomas Hoefer_____
