Oi pessoal,

Fiz a tradução do meu TCC pra haskell. Vide link abaixo.

https://bitbucket.org/ericvoid/robdd

Gostaria que vcs dessem uma olhada, para ver se tem como melhorar.

Des do ultimo dojo consegui dar um upgrade no código. Dei uma boa organizada e troquei as listas por Maps. Isso deu um ganho de eficiência gigante. Mas o arquivo de síntese é o que deve estar mais bagunçado.

Será que tem alguma forma de memoizar uma função sem ter que ficar passando a estrutura de dados para todo lado?

Obrigado,

  Eric