on 465cc1c help sign in
3 lines 68 B history raw
1#!/usr/bin/env bash
2idris $@ reg009.lidr --check
3rm -f reg009 *.ibc