f9a905eFix assumption in test that sizeof(size_t) == 8Jacob Mitchell11 years ago 7bcab73Remove discussion of deprecated FFIJacob Mitchell11 years ago 731c6e4Update Type Provider docs to use current FFIJacob Mitchell11 years ago b24a685Merge branch 'master' into fix/master/cleanup-deprecated-ffiJacob Mitchell11 years ago d740cc5Tell Cabal about new test filesJacob Mitchell11 years ago ebbae35New test: Type Provider backed by new FFI_CJacob Mitchell11 years ago e4a04b4Clarify behavior of type provider testJacob Mitchell11 years ago dcacfeaMerge branch 'feature/deppairparsing' of github.com:ahmadsalim/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi11 years ago bf0fe16Merge pull request #1 from david-christiansen/ahmadsalim-feature/deppairparsingAhmad Salim Al-Sibahi11 years ago 39ecf99Fixed parsing of dependent pair expressions when Type appears as a typeAhmad Salim Al-Sibahi11 years ago 7bf0ea3Pretty-printer for new nested dependent pair syntaxDavid Raymond Christiansen11 years ago f3ce68eMerge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingDavid Raymond Christiansen11 years ago 894f664Allowed multiple bindings in dependent pairsAhmad Salim Al-Sibahi11 years ago