homepage: http://www.prg.nii.ac.jp/project/bigul/
changelog-type: ''
hash: d491f4efd0c32c2a3a8e4c220b3418228515af8bce14adc59da10794ae0445a5
test-bench-deps: {}
maintainer: Josh Ko <hsiang-shang@nii.ac.jp> and Zirun Zhu <zhu@nii.ac.jp>
synopsis: The Bidirectional Generic Update Language
changelog: ''
basic-deps:
  base: ! '>=4.8 && <4.9'
  containers: ! '>=0.5'
  mtl: ! '>=2.2'
  pretty: ! '>=1.1'
  template-haskell: ! '>=2.10'
all-versions:
- '0.9.0.0'
author: Josh Ko, Tao Zan, Li Liu, Zirun Zhu, Jorge Mendes, and Zhenjiang Hu
latest: '0.9.0.0'
description-type: haddock
description: ! '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>.'
license-name: PublicDomain

Update from Hackage at 2016-05-06T05:39:47+0000
Update from Hackage at 2016-05-06T05:39:47+0000
