git.iko.soy/Idris-dev
on 8e4bfd9 help sign in
Idris-dev/test/interactive010/run
2 lines 82 B history raw
1#!/usr/bin/env bash
2idris --quiet --nobanner --nocolor --consolewidth 80 < input