use hole types for type suggestions
introduce option to do only typechecking
Last updated 11 months ago
Was this helpful?
