git.iko.soy/Idris-dev
on dfbb3db help sign in
Idris-dev/test/test022/run
3 lines 82 B history raw
1#!/bin/bash
2echo ":x x" | idris --quiet test022.idr
3rm -f test021 test021a *.ibc