Elaborate on connections between Logic and lists - Githubissues

Bodigrim / logict

A continuation-based backtracking logic programming monad

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

Other

85 stars 13 forks source link

Elaborate on connections between Logic and lists #21

Closed Bodigrim closed 3 years ago

Bodigrim commented 3 years ago

CC @kquick

Bodigrim commented 3 years ago

@kquick thanks for review, updated.