2 lines
50 B
Bash
2 lines
50 B
Bash
cat > Main.idr
|
|
idris --execute ./Main.idr || true
|
cat > Main.idr
|
|
idris --execute ./Main.idr || true
|