added intro and idris overview