Skip to main content

Module nu

Module nu 

Source

Structsยง

Nu
The greatest fixed point of a functor F.