4 ms·
Totally love this! Just tried it and it worked quite well. Things like this could be a reason why we should write in the functional style: completing a typed h
by juxtapose 5y ago
Totally love this! Just tried it and it worked quite well.
Things like this could be a reason why we should write in the functional style: completing a typed hole doesn't need you to reason about other implicit states.