test/interactive014/input · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on ca34dec help sign in

Idris-dev/test/interactive014/input

5 lines 62 B history raw

1:exec voidIO

2:exec intIO

3:exec stringIO

4:exec 456

5:exec "xyz"