ghc-syz
Scrap Your Zippers
This package contains the generic zipper system described in the Scrap Your Zippers paper (see<http://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/>). It defines the 'Zipper' type permitting zipper traversals over arbitrary instances of 'Data'.
BSD-3-Clausecloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...