git.iko.soy/Idris-dev
on a7adbdb help sign in
Idris-dev/contribs/lib
1 folder, 2 files
../ SQLite3/Support linking external .o files in new compiler ._simpleparser.idrlatest simpleparser.idrfixed prepare to return null pointer on failure