will not always succeed since the monad stack can block extraction - Githubissues

Bodigrim / logict

A continuation-based backtracking logic programming monad

https://hackage.haskell.org/package/logict

Other

85 stars 13 forks source link

will not always succeed since the monad stack can block extraction #11

Closed marklemay closed 4 years ago

marklemay commented 4 years ago

see https://github.com/Bodigrim/logict/issues/10

Bodigrim commented 4 years ago

Thanks, looks good!