[Agda] Fairbairn not for St.lib

[Nils Anders Danielsson]

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
http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5280/focus=5322

-- 
/NAD