name(type_check).
title('Type System for Prolog based on Hindley-Milner').
version('1.0.3').
author('Tom Schrijvers', 'Tom.Schrijvers@kuleuven.be').