Description Usage Arguments Value Author(s)
The identity arrow for the Continuation category for which holds: f %.% identity2 = f = identity2 %.% f
1  | identity2(x, ret)
 | 
x | 
 The value on which the function operates  | 
ret | 
 The following computation  | 
This function always returns the original arrow.
Matteo Provenzano
http://www.alephdue.com
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.