Comments for 2018-12-15

[rcook]

No description provided.

[dc25]

This pentominoes puzzle solver now uses the recursion schemes that Bartosz showed in his talk. The ana/cata/holo morphism code in RecursionSchemes.hs is the same as Bartosz used. I added a generic tree type and related Algebra/Coalgebra functions in RTree.hs. With these tools in place the code (at the end of Solve.hs) to generate the solution steps is just :

stepsHylo :: Ord a => Progress a -> [Progress a]
stepsHylo initial = hylo fromRTree (fromSeed next) initial

Follow this link to see the solver in action.
More on wikipedia about the pentominoes puzzle.