Fix typo in docstring for Tactics.apply
commita297e02d29a0d5c70c18a3f2144f4a63f49ac0f9
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 25 Aug 2015, 19:00 (11 years ago)
parenta953ba2
libs/prelude/Language/Reflection/Elab.idr+1−1
@@ -252,7 +252,7 @@ namespace Tactics
252252 fill tm = prim__Fill tm
253253
254254 ||| Attempt to apply an operator to fill the current hole,
255− ||| potentially solving arugments by unification.
255+ ||| potentially solving arguments by unification.
256256 |||
257257 ||| The return value is a list of pairs of names, one for each input
258258 ||| argument. The first projection of these pairs is the original