diff --git a/src/lib/primitive/acons.rls b/src/lib/primitive/acons.rls
new file mode 100644
index 0000000..f9f1a35
--- /dev/null
+++ b/src/lib/primitive/acons.rls
@@ -0,0 +1,4 @@
+(define (acons a b lst)
+  (cons (cons a b) lst))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/and.rls b/src/lib/primitive/and.rls
new file mode 100644
index 0000000..5ce4dcc
--- /dev/null
+++ b/src/lib/primitive/and.rls
@@ -0,0 +1,16 @@
+;; Evaluates each function in turn, returning #f immediately if any
+;; function returns #f, or else the first result of the last function.
+
+(load "foldl.rls")
+
+(define (and . fns)
+  (let/cc k
+    (foldl (lambda (fn _)
+             (let/cc k2
+               ((lambda (x)
+                  ((if x k2 k) x))
+                (fn))))
+           #t
+           fns)))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/append.rls b/src/lib/primitive/append.rls
new file mode 100644
index 0000000..d2b309e
--- /dev/null
+++ b/src/lib/primitive/append.rls
@@ -0,0 +1,11 @@
+;; Concatenates the list argument(s) into a single new list.
+
+(load "foldr.rls")
+
+(define (append . lsts)
+  (foldr (lambda (lst base)
+           (foldr cons base lst))
+         '()
+         lsts))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/foldl.rls b/src/lib/primitive/foldl.rls
new file mode 100644
index 0000000..d4b95ff
--- /dev/null
+++ b/src/lib/primitive/foldl.rls
@@ -0,0 +1,10 @@
+;; Fold a function over a list; left-associative
+;; (foldl fn init lst)
+;; ==> (foldl fn (fn (car lst) init) (cdr lst))
+
+(define (foldl fn init lst)
+  (if (pair? lst)
+    (foldl fn (fn (car lst) init) (cdr lst))
+    init))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/foldr.rls b/src/lib/primitive/foldr.rls
new file mode 100644
index 0000000..6cc885c
--- /dev/null
+++ b/src/lib/primitive/foldr.rls
@@ -0,0 +1,11 @@
+;; Fold a function over a list; right-associative
+;; (foldr fn init lst)
+;; ==> (fn (car lst) (foldr fn init (cdr lst)))
+
+(define (foldr fn init lst)
+  (if (pair? lst)
+    (fn (car lst)
+        (foldr fn init (cdr lst)))
+    init))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/list.rls b/src/lib/primitive/list.rls
new file mode 100644
index 0000000..fd4d2d9
--- /dev/null
+++ b/src/lib/primitive/list.rls
@@ -0,0 +1,11 @@
+;; Returns a copy of the argument list
+
+(load "foldr.rls")
+
+; Function to match builtin cons; builtin will still be preferred.
+(define (cons x y) (cons x y))
+
+(define (list . lst)
+  (foldr cons '() lst))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/map.rls b/src/lib/primitive/map.rls
new file mode 100644
index 0000000..174ac73
--- /dev/null
+++ b/src/lib/primitive/map.rls
@@ -0,0 +1,10 @@
+(load "reverse.rls")
+(load "foldl.rls")
+
+(define (map fn lst)
+  (reverse (foldl (lambda (x lst)
+                    (cons (fn x) lst))
+                  '()
+                  lst)))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/or.rls b/src/lib/primitive/or.rls
new file mode 100644
index 0000000..fa11267
--- /dev/null
+++ b/src/lib/primitive/or.rls
@@ -0,0 +1,16 @@
+;; Evaluates each function in turn, immediately returning the first
+;; non-#f result, or #f if no function returns a non-#f result.
+
+(load "foldl.rls")
+
+(define (or . fns)
+  (let/cc k
+    (foldl (lambda (fn _)
+             (let/cc k2
+               ((lambda (x)
+                  ((if x k k2) x))
+                (fn))))
+           #f
+           fns)))
+
+; vim:set syntax= sw=2 expandtab:
diff --git a/src/lib/primitive/reverse.rls b/src/lib/primitive/reverse.rls
new file mode 100644
index 0000000..da63251
--- /dev/null
+++ b/src/lib/primitive/reverse.rls
@@ -0,0 +1,8 @@
+;; Returns a reversed copy of the given list
+
+(load "foldl.rls")
+
+(define (reverse lst)
+  (foldl cons nil lst))
+
+; vim:set syntax= sw=2 expandtab: