nandi.uk / mlang
This repository has no description
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

mlang / Mlang / Http.lean
198 B 6 lines
1namespace Mlang.Http 2 3@[extern "mlang_http_get"] opaque httpGet (url : @& String) : IO String 4@[extern "mlang_aturi_parse_string"] opaque parseAturi (source : @& String) : IO String 5 6end Mlang.Http