#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/
-
I like how Idris, despite allowing for more precise types, deviates from the Haskell trope of "types are a sufficient documentation".
-
-
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.
- Show replies
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.