File: expected

package info (click to toggle)

agda-stdlib 2.1-4

file content (6 lines) | stat: -rw-r--r-- 88 bytes

echo< echo> hello
echo< echo> my
echo< echo> name
echo< echo> is
echo< echo> Agda
echo<