search

Bodigrim / logict

A continuation-based backtracking logic programming monad
https://hackage.haskell.org/package/logict
Other
85 stars 13 forks source link

Fix ifte example #24

Closed treeowl closed 3 years ago

treeowl commented 3 years ago

A number is prime if it doesn't have any (non-trivial) divisors.

Bodigrim commented 3 years ago

Thanks!

treeowl commented 3 years ago

In case you're wondering: I was going through the class documentation to find properties and examples for testing the new logict-sequence. The ifte test failed, and after trying my best to find the bug in my code, I realized it wasn't there!