GitHub repository: typetests/daikon-typecheck
Primary language: Shell
Description: Type-check Daikon