This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
LicenseRef-PublicDomain licensed by Josh Ko, Tao Zan, Li Liu, Zirun Zhu, Jorge Mendes, and Zhenjiang Hu
Putback-based bidirectional programming allows the programmer to
write only one putback transformation, from which the unique
corresponding forward transformation is derived for free. BiGUL,
short for the Bidirectional Generic Update Language, is designed to
be a minimalist putback-based bidirectional programming language.
BiGUL was originally developed in the dependently typed programming
language Agda, and its well-behavedness has been completely formally
verified; this package is the Haskell port of BiGUL.
For more detail, see the following paper:
Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu. BiGUL: A formally
verified core language for putback-based bidirectional programming.
In Partial Evaluation and Program Manipulation, PEPM’16,
pages 61–72. ACM, 2016. http://dx.doi.org/10.1145/2847538.2847544.
