Improved wiki and reduced readme

1 files changed, 19 insertions, 3 deletions

diff --git a/docs/wiki_src/coding/currying.md b/docs/wiki_src/coding/currying.md
index d84eb0a..9a8e48d 100644
--- a/docs/wiki_src/coding/currying.md
+++ b/docs/wiki_src/coding/currying.md
@@ -1,13 +1,29 @@
 # Currying
 
-Lambda calculus naturally supports currying -- that is, only partially
+Lambda calculus naturally supports currying -- that is, only *partially*
 applying a function. In fact *any* function can be applied with *any*
 amount of arguments!
 
 In bruijn, currying is a great way to make functions even more elegant.
 
-Partially applying the `mul`{.bruijn} function:
+For example, take the negation function:
 
 ``` bruijn
-six [0 (+3)] (mul (+2))
+# subtracts argument from zero
+-‣ [(+0) - 0] ⧗ Number → Number
+
+# equivalent curried version
+-‣ sub (+0)
+```
+
+Currying is also very useful for higher-order functions.
+
+Multiplying values in a list by partially applying the `mul`{.bruijn}
+function:
+
+``` bruijn
+# doubles numbers in a list
+double-list [0 <$> (mul (+2))] ⧗ (List Number) → (List Number)
+
+:test (double-list ((+1) : {}(+2))) ((+2) : {}(+4))
 ```