siadat/intertype

Go static type-checker for annotated empty interface{}s

Go