Giters

machunter / idris-curl

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CURL IDRIS

this is an IDRIS library to use CURL first pass will use the easy curl (synchronous)

About

Languages

Language:Idris 72.9%Language:C 23.1%Language:Makefile 4.0%