git.iko.soy/Idris-dev
on cd58dfb help sign in
Idris-dev/test/interactive017/run
9 lines 174 B history raw
1#!/bin/sh
2PATH="../../scripts:$PATH"
3./shebang.idr
4./shebang.idr
5./shebang-node.idr
6./shebang-node.idr
7./shebang-args.idr aaa
8./shebang-args.idr bbb aaa
9./shebang-import.idr