Try Idris http://tryidris.org/