on bf4e535 help sign in
4 lines 78 B history raw
1#!/usr/bin/env bash
2idris $@ reg020.idr -o reg020
3./reg020
4rm -f reg020 *.ibc