git.iko.soy/Idris-dev
on cb005bc help sign in
Idris-dev/test/primitives004/run
4 lines 117 B history raw
1#!/usr/bin/env bash
2idris $@ -o primitives004 primitives004.idr --nocolour
3./primitives004
4rm -f primitives004 *.ibc