diff --git a/lib/c3/0.1/list.facts b/lib/c3/0.1/list.facts
index 1279c47..2f777ba 100644
--- a/lib/c3/0.1/list.facts
+++ b/lib/c3/0.1/list.facts
@@ -4,6 +4,7 @@ add {List, :is_a, :module}
add {List, :name, "List"}
add {List, :path, "list.facts"}
add {List, :symbol, List.map}
+add {List, :symbol, List.reverse}
add {List.map, :fn, fn {
((), _) {
()
@@ -12,3 +13,8 @@ add {List.map, :fn, fn {
(f(a) | List.map(b, f))
}
}}
+add {List.reverse, :fn, fn {
+ (x) { List.reverse(x, ()) }
+ ((), acc) { acc }
+ ((a | b), acc) { List.reverse(b, (a | acc)) }
+}}