3 ms·
A similar concept named "Tactics" was explored in Haskell. https://reasonablypolymorphic.com/blog/towards-tactics/ https://reasonablypolymorphic.com/blog/toward
by iddan 5y ago
A similar concept named "Tactics" was explored in Haskell.
https://reasonablypolymorphic.com/blog/towards-tactics/ https://reasonablypolymorphic.com/blog/towards-tactics/
HN Discussion: https://news.ycombinator.com/item?id=24759649 https://news.ycombinator.com/item?id=24759649
- shirogane86x 5y agoRelevant: https://haskellwingman.dev/ https://haskellwingman.dev/ . it's actually possible to use it if you have the haskell language server installed, as a code action (at least i think it is, haven't personally tried it yet tho)