GitHub repository: ultra-group/skalpel
Primary language: Standard ML
Description: A type error slicer for Standard ML