summaryrefslogtreecommitdiff
path: root/backend/CMtypecheck.mli
Commit message (Expand)AuthorAge
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30