search

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes
http://hazel.org/
MIT License
684 stars 45 forks source link

implicit type application #1271

Open cyrus- opened 2 months ago

cyrus- commented 2 months ago

use type hole inference to support implicit type application (but be able to explicitly show how instantiation went)