Explore “herding cats”: Writer
Explore Cats Writer. Monad to bring description with any computation unit.
Recent posts
Explore “herding cats”: Eq and Order
Explore Cats Eq, Partial Order, Order typeclasses. Notion of equality and why greatest element of set is not equal to maximal.
Solve CNF with Tarjan
Today I want to describe my journey of writing a purely functional implementation for solving 2-satisfiability problem. Essentially it is a problem of assignment of boolean values to the given boolean formula. It is the special case of common bool...