Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Idris: A Language for Type-Driven Development. Parent comment
https://hoogle.haskell.org/
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).
There are no comments on this comment yet.
https://hoogle.haskell.org/
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).