GitHub repository: meditans/type_check
Primary language: Prolog
Created: 2020-06-10T10:52:31Z
Description: Copy of Tom Schrijvers' prolog library v 1.0.1, to make some improvements