add plus2 proof
add information about Idris to readme