ideas

  1. use hole types for type suggestions

  2. introduce option to do only typechecking

Last updated