added replicate
added repeat and replicate
added hyperoperation sequence
Merge pull request #31 from MekeorMelire/master

Added new functions in standard-library
Quicker resolution of overloaded names
By checking the name's type against the goal type rather than fully
checking.
added simpler parser
added comment for testing
sqlite3 idris lib
sqlite3 c lib
sqlite3 lib
error handling
fixed binds
fixed prepare to return null pointer on failure
fixed the same issue with get_table
printing data, doesnt quite work on idris
added memory location for text, though needs some memory management to free it
Merge pull request #36 from melissam/master

Simpler parser
using gc.h
Lift syntax tree, main monad and pretty printing out of AbsSyntax
Merge branch 'master' of github.com:edwinb/Idris-dev