Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
applicative [2014/08/25 00:05]
nikolaj
applicative [2014/08/25 00:06] (current)
nikolaj
Line 9: Line 9:
 </​code>​ </​code>​
  
-pure id <*> v $\ \leftrightsquigarrow\ $ v +pure id <*> v $\ \leftrightsquigarrow\ $ v | 
- +pure f <*> pure x $\ \leftrightsquigarrow\ $ pure (f x) | 
-pure f <*> pure x $\ \leftrightsquigarrow\ $ pure (f x) +u <*> pure y $\ \leftrightsquigarrow\ $ pure ($ y) <*> u | 
- +u <*> (v <*> w) $\ \leftrightsquigarrow\ $ pure (.) <*> u <*> v <*> w |
-u <*> pure y $\ \leftrightsquigarrow\ $ pure ($ y) <*> u +
- +
-u <*> (v <*> w) $\ \leftrightsquigarrow\ $ pure (.) <*> u <*> v <*> w+
  
 ==== Discussion ==== ==== Discussion ====
Link to graph
Log In
Improvements of the human condition