#Haskell's ghci doesn't give you docs on :info, only signatures. Tools like Intero are built on ghci, so no docs for you 
1/
-
Agree with Tony. We only say that "type are documentation".
and to the extent they are not, written prose is a desperate last resort, often counter-productive. There are overlooked middle grounds.
-
-
and what about a tool to make easier equational reasoning? i dont know, but f.e. doing automatic term rewriting (maybe limited/focused)?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Any suggestions on that middleground? I like both types and written prose, looking for more.
-
Property-based tests are a good starting point imo. There are also improvements on that, from there.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.