#!/bin/bash
# benchmark.sh — Run EML proof in both Python and lumbda, compare times
#
# Usage: cd proof && bash benchmark.sh

echo "═══════════════════════════════════════════════════════════════"
echo "EML Universality Proof — Benchmark: Python vs lumbda"
echo "═══════════════════════════════════════════════════════════════"
echo

echo ">>> Python implementation"
echo "---"
time python3 eml_proof.py
echo

echo ">>> lumbda implementation (--fast = bytecode compiled)"
echo "---"
time python3 ../lumbda.py --fast eml_proof.lsp
echo

echo "═══════════════════════════════════════════════════════════════"
echo "Benchmark complete."
