Code

Compile under Idris 1.2.0#17

Code

Open

brandondyck wants to merge 3 commits intoidris-hackers:masteridris-hackers/iQuery:masterfrom brandondyck:new-ffibrandondyck/iQuery:new-ffiCopy head branch name to clipboard

Commits

Commits on Jan 14, 2018

• updated access modifiers

  brandondyck

  committed
  41eabc8

  Copy full SHA for 41eabc8

• use new FFI

  brandondyck

  committed
  824357f

  Copy full SHA for 824357f

Commits on Jan 15, 2018

• qualify module declarations

  brandondyck

  committed
  ab39ad0

  Copy full SHA for ab39ad0