3 lines
61 B
Bash
3 lines
61 B
Bash
printf %s "$1" > Main.idr
|
|
idris --execute ./Main.idr || true
|
printf %s "$1" > Main.idr
|
|
idris --execute ./Main.idr || true
|