This repo is an example on how to use carp-lang in conjunction with the Arduino framework on esp8266.
You will need to have platformio installed as well as a secrets.carp file in the root of the repo, it should look like this:
(defmodule Secrets
(defn wifi-ssid [] @"<your-wifi-ssid>")
(defn wifi-pass [] @"<your-wifi-password>"))