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