trying to build idris from source
fixes in Idris syntax
working with github version of Idris