GitHub repository: thautwarm/reFining
Primary language: Python
Created: 2018-07-06T06:12:45Z
Description: portable type checker for ML type system.