GitHub repository: Garciat/gobid
Primary language: Go
Created: 2024-05-31T08:59:58Z
Description: A naive attempt at implementing a Golang type checker that supports more advanced type inference.