#!/bin/bash
set -euo pipefail

cd "$(dirname "$0")"

ghcup --offline run -- ghci Yahb2Defs.hs 2>&1