From eb3975485dc3913880bbbd072d391f1a90cb2db7 Mon Sep 17 00:00:00 2001
From: pixel <35269695+pixelcmtd@users.noreply.github.com>
Date: Sun, 5 Sep 2021 14:11:45 +0200
Subject: [PATCH] carp: add page (#6456)

---
 pages/common/carp.md | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 pages/common/carp.md

diff --git a/pages/common/carp.md b/pages/common/carp.md
new file mode 100644
index 0000000000..d20cf42c5d
--- /dev/null
+++ b/pages/common/carp.md
@@ -0,0 +1,28 @@
+# carp
+
+> REPL and build tool for Carp.
+> More information: <https://carp-lang.github.io/carp-docs/Manual.html>.
+
+- Start a REPL (interactive shell):
+
+`carp`
+
+- Start a REPL with a custom prompt:
+
+`carp --prompt "{{> }}"`
+
+- Build a `carp` file:
+
+`carp -b {{path/to/file.carp}}`
+
+- Build and run a file:
+
+`carp -x {{path/to/file.carp}}`
+
+- Build a file with optimizations enabled:
+
+`carp -b --optimize {{path/to/file.carp}}`
+
+- Transpile a file to C code:
+
+`carp --generate-only {{path/to/file.carp}}`