Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/sdfsdf.idr

Created September 10, 2020 04:37
Show Gist options
  • Save MarcelineVQ/028501f1662f0b75f4cd8a90fa0b6db9 to your computer and use it in GitHub Desktop.
Save MarcelineVQ/028501f1662f0b75f4cd8a90fa0b6db9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
sdfsdf.idr
[internal] ToCode (CurlOption ty) where
toCode = enumTo [1..273]
export
{ty : _} -> ToCode (CurlOption ty) where
toCode opt = toCode @{internal} opt + (toCode ty)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment