Mention darcs reository in .cabal
[darcs-mirror-sem_syn.git] / Type.hs
2010-09-22 Kazutaka MatsudaRemove type-checking error.
2010-09-16 Joachim BreitnerHandle another lookup failure in typeMap
2010-09-16 Joachim BreitnerMake typeInference pass error outwards
2010-09-16 Joachim BreitnerPass failure in assignTypeVars out of inferenceStep
2010-08-28 Joachim BreitnerShow parseErrors
2010-08-28 Joachim BreitnerBetter error message in Type.hs (fails in CGI, though)
2010-07-16 Kazutaka MatsudaSupporting options for "natify only, shapify only,...
2010-06-30 Kazutaka Matsuda[Init] Implementation of "Combining Syntactic and Seman...