[Agda] Fairbairn not for St.lib

Nils Anders Danielsson nad at chalmers.se
Sat Oct 13 17:44:02 CEST 2012

On 2012-10-13 14:47, Serge D. Mechveliani wrote:
> I `google' the definition somewhere in e-mail:
> --------
> http://www.haskell.org/pipermail/libraries/2012-February/017548.html
> Edward Kmett ekmett at gmail.com Feb 15 2012
> [..]
> The Fairbairn threshold is the point at which the effort of looking up or
> keeping track of the definition is outweighed by the effort of rederiving
> it or inlining it.
> --------

Jon Fairbairn
Names for small functions: just say no... Re: Data.List.join


More information about the Agda mailing list