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