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
110 B 5 lines
1namespace Mlang.Http 2 3@[extern "mlang_http_get"] opaque httpGet (url : @& String) : IO String 4 5end Mlang.Http