scripts/typecheck.bash

#! /bin/bash
npx pyright