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