Combined-line mode checks bidirectionalizability
authorKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Tue, 14 Sep 2010 05:38:11 +0000 (05:38 +0000)
committerKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Tue, 14 Sep 2010 05:38:11 +0000 (05:38 +0000)
commitae6aa44f632679205f456a6aee309fa227a4f663
tree6fc2ed57489bbed013c4ebcc010674319c806c1d
parent82d8cd97cfe4f7f1b8c43509544152417b899903
Combined-line mode checks bidirectionalizability
Main.hs
SemSyn.hs