#!/usr/bin/env bash
set -euo pipefail

if [ $# -eq 0 ]
then
    echo "isabat: pretty-print isabelle theories on a terminal using bat."
    echo ""
    echo "please provide a .thy file to display."
    exit
fi

cat "$1" | isabelle2unicode | bat --file-name "$1" --theme TwoDark