Combined-line mode checks bidirectionalizability
[darcs-mirror-sem_syn.git] / SemSyn.hs
2010-09-14 Kazutaka MatsudaCombined-line mode checks bidirectionalizability
2010-09-15 Joachim BreitnerRefactor render code into SemSyn.renderCode
2010-09-13 Joachim BreitnerChange type of checkBidirectionalizability to return...
2010-09-13 Kazutaka MatsudaImplement check of bidirectionalizability.
2010-09-13 Kazutaka MatsudaInput and output codes now looks similar to Haskell...
2010-09-10 Joachim BreitnerQualify view function in generated code
2010-09-10 Joachim BreitnerImport BUtil also with, for the definition of class...
2010-09-10 Kazutaka MatsudaSupport new "userlevel" options.
2010-09-06 Kazutaka MatsudaChanged default outputMode to HaskellCode
2010-09-06 Kazutaka Matsuda[Bugfix] Variables in "-n" flag.
2010-07-28 Joachim BreitnerAdd instances for ExecMode and OutputMode
2010-07-18 Joachim BreitnerRemove IO related code from SemSyn.hs
2010-07-18 Joachim BreitnerSimple Main/SemSyn split