hls-tactics-plugin-1.0.0.0: Wingman plugin for Haskell Language Server
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Ide.Plugin.Tactic.Auto
Synopsis
auto
::
TacticsM
()
Documentation
auto
::
TacticsM
()
Source
#
Automatically solve a goal.