8fed722Merge pull request #294 from bitlisp/unified-int-primitivesEdwin Brady14 years ago 0029900Look in the environment before the definitions in executorDavid Christiansen14 years ago d0e54d1vim: remove bad whitespace highlightraichoo14 years ago 350cc02Fixed semantics of isNull emulation to properly wrap in IODavid Christiansen14 years ago d1de0f4More primitivesDavid Christiansen14 years ago 93fa7ceAdded isNull emulation plus another primitiveDavid Christiansen14 years ago f5f2bd3Add the RTLD_GLOBAL option to dlopenDavid Christiansen14 years ago 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders14 years ago fadeecdFix Core.Execute to use IRTS.Lang.FTypeBenjamin Saunders14 years ago b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders14 years ago 2572b10Parameterized integer FFIBenjamin Saunders14 years ago 321b8fdReduce redundancy across integer operationsBenjamin Saunders14 years ago fb9af01Read from standard inputBenjamin Saunders14 years ago ca7d80aBasic solver workingBenjamin Saunders14 years ago 5d22c3eMerge branch 'ImprovedReflection'Jan Bessai14 years ago