Implement check of bidirectionalizability.
authorKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Mon, 13 Sep 2010 13:55:03 +0000 (13:55 +0000)
committerKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Mon, 13 Sep 2010 13:55:03 +0000 (13:55 +0000)
commit7f66644fcd2f4da972317787ca18fc3ac0a5eff3
tree66d142aa5275af1e86b5cec849de81e55bc23e0f
parent0763b289c8ed171101de1467f7698bac8651fb30
Implement check of bidirectionalizability.
SemSyn.hs