7 lines
139 B
Coq
7 lines
139 B
Coq
|
import net.http
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
resp := http.get("http://rosettacode.org/robots.txt") or {println(err) exit(-1)}
|
||
|
|
println(resp.body.str())
|
||
|
|
}
|