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