3 Synopsis: Prototype Implementation of Combining Syntatic and Semantic Bidirectionalization (ICFP'10)
4 Description: This is a prototype implementation of the idea presented
5 in Combining Syntatic and Semantic Bidirectionalization
6 by Janis Voigtlaender, Zhenjiang Hu, Kazutaka Matsuda
9 Author: Kazutaka Matsuda
10 Maintainer: kztk@kb.ecei.tohoku.ac.jp
14 Extra-source-files: example/*.txt
18 Executable b18n-combined
20 Build-depends: base (>=4), mtl, template-haskell, containers, pretty, parsec
21 Other-modules: Util, AST, Parser, Type, Shapify, CodeGen