From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository
---
explorer/generate.sh | 140 +++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 140 insertions(+)
create mode 100755 explorer/generate.sh
(limited to 'explorer/generate.sh')
diff --git a/explorer/generate.sh b/explorer/generate.sh
new file mode 100755
index 0000000..cf2b77a
--- /dev/null
+++ b/explorer/generate.sh
@@ -0,0 +1,140 @@
+#!/bin/bash
+
+shopt -s globstar
+set -eu
+set -o pipefail
+
+rm -rf dest
+mkdir -p dest
+TREE="$(pwd)/tree.sh"
+destdir="$(pwd)/dest"
+commit="$(git rev-parse --short HEAD)"
+
+cd ../theories
+for file in **/*.v; do
+ destfile="$destdir/$file.html"
+ mkdir -p "$(dirname "$destfile")"
+ echo "
+
+
+
+ $file
+
+
+
+
+
+
Verified Interpreters for Dynamic Languages
+ with Applications to the Nix Expression Language
+
+
+ Rocq Mechanization
+ Commit $commit
+
+
+
+
+
' >> "$destfile"
+ python -m pygments -fhtml -lcoq -Oanchorlinenos,linenos,linespans=line "$file" >> "$destfile"
+ echo '
+
+