5 lines
81 B
Coq
5 lines
81 B
Coq
|
|
import net.urllib
|
||
|
|
fn main() {
|
||
|
|
println(urllib.query_escape("http://foo bar/"))
|
||
|
|
}
|