git.iko.soy/Idris-dev
on master help sign in
history offadeecd..master
compare
8fed722Merge pull request #294 from bitlisp/unified-int-primitivesEdwin Brady 0029900Look in the environment before the definitions in executorDavid Christiansen d0e54d1vim: remove bad whitespace highlightraichoo 350cc02Fixed semantics of isNull emulation to properly wrap in IODavid Christiansen d1de0f4More primitivesDavid Christiansen 93fa7ceAdded isNull emulation plus another primitiveDavid Christiansen f5f2bd3Add the RTLD_GLOBAL option to dlopenDavid Christiansen ace080cFirst check for exact filename when dynamically loading C libDavid Christiansen c6540d0Build SQLite interface as shared library for dynamic loadingDavid Christiansen 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders fb9af01Read from standard inputBenjamin Saunders ca7d80aBasic solver workingBenjamin Saunders 5d22c3eMerge branch 'ImprovedReflection'Jan Bessai