GitHub repository: GavinMendelGleason/mavis
Primary language: Prolog
Description: Optional types for Prolog