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