A type-checker for a degenerated version of ML that doesn't even know about polymorphism.
Primary LanguageTeX