# Differences

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

 applicative [2014/08/25 00:05]nikolaj applicative [2014/08/25 00:06] (current)nikolaj Both sides previous revision Previous revision 2014/08/25 00:06 nikolaj 2014/08/25 00:05 nikolaj 2014/08/24 17:44 nikolaj 2014/08/24 17:44 nikolaj 2014/08/24 00:53 nikolaj 2014/08/24 00:38 nikolaj 2014/08/24 00:37 nikolaj 2014/08/24 00:37 nikolaj 2014/08/24 00:31 nikolaj created 2014/08/25 00:06 nikolaj 2014/08/25 00:05 nikolaj 2014/08/24 17:44 nikolaj 2014/08/24 17:44 nikolaj 2014/08/24 00:53 nikolaj 2014/08/24 00:38 nikolaj 2014/08/24 00:37 nikolaj 2014/08/24 00:37 nikolaj 2014/08/24 00:31 nikolaj created Line 9: Line 9: ​ - 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 ====