The BiGUL package

[maintain]
Warnings:

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:

Properties

Versions0.9.0.0, 0.9.0.0, 1.0.0, 1.0.1
Dependenciesbase (==4.8.*), containers (>=0.5), mtl (>=2.2), pretty (>=1.1), template-haskell (>=2.10) [details]
LicensePublicDomain
AuthorJosh Ko, Tao Zan, Li Liu, Zirun Zhu, Jorge Mendes, and Zhenjiang Hu
MaintainerJosh Ko <hsiang-shang@nii.ac.jp> and Zirun Zhu <zhu@nii.ac.jp>
CategoryLanguage, Generics, Lenses
Home pagehttp://www.prg.nii.ac.jp/project/bigul/
UploadedFri May 6 05:19:25 UTC 2016 by joshko

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees