-
isovector authored
Case split and tactics via refinery Bump ghcide submodule to get completion for local variables. Co-authored-by: Zubin Duggal <zubin@cmi.ac.in>
Case split and tactics via refinery
Bump ghcide submodule to get completion for local variables.
Co-authored-by: Zubin Duggal <zubin@cmi.ac.in>