hdiff
packages
feed
shakespeare
-2.0.0: test/hamlets/external-debug3.hamlet
$forall list a $a$ $forall list b $b$