Truth table: Difference between revisions

showTable $ header : map (map show) results

 

-- The context is an assoc-list, which binds variable and it's value.

-- Here the monad is simple ((->) r).