squash potential space leaks by using strict foldl
javascript: fix ptr handling
Add Not definition
Define Any/All quantifiers for Vect
Updated bounded lists
Linux compatibility and Idris updates

The SQLite bindings now work on case-sensitive filesystems. Additionally,
they've been updated to work with the latest Idris stdlib.
Reflection utilities

* Added Eq and Show instances for TT and its dependencies
* Added minor functions for tactic script construction
* Added utility functions copied from the Idris compiler for working with TT
  terms
Formatting improvements
Minor style and readability updates
Minor formatting and readability updates
Parser improvement to allow mixing of implicit and non implicit Arguments
Merge pull request #291 from raichoo/master

squash potential space leaks
Merge pull request #292 from raichoo/javascript

javascript: fix ptr handling
Merge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiers

Conflicts:
	lib/base.ipkg
Fix idris.cabal and base.ipkg to include Data.Vect.*
Merge pull request #295 from david-christiansen/boundedlist

Updated bounded lists
Merge pull request #296 from david-christiansen/sqlite

Sqlite bindings updated to work with latest Idris and on Linux
Merge pull request #297 from david-christiansen/proofutils

Reflection utilities
Merge branch 'MixingImplicitArgs' of https://github.com/JanBessai/Idris-dev into JanBessai-MixingImplicitArgs
initial ideslave