Sha256: 19af39ff6ffaf3b9940d813b8a5dce9e506755cf64203708ca4d80d37d129780
Contents?: true
Size: 30 Bytes
Versions: 1
Compression:
Stored size: 30 Bytes
Contents
modu M : IO () = uSL "H !"
Version data entries
1 entries across 1 versions & 1 rubygems
| Version | Path |
|---|---|
| zettacode-0.1.0 | zettacode.files/hello_world.text/idris.txt |