Monadic logic:

https://functional.computer/blog/monadic-logic

Improving the data structures in my previous articles, by adding a type parameter and getting monadic syntax for free.

Monadic logic / Logic programming

samir : coffee → nonsense

I updated my last post to make better use of the monad and fix the hack in the solveQueens function. I was always planning that but then I didn’t get around to writing it for a few weeks and forgot.

Anyway, if you are interested, click again:

https://functional.computer/blog/monadic-logic

Monadic logic / Logic programming

samir : coffee → nonsense
@samir yay! I’ll be typing this and learning things!