3 ms·Idris 2 added dot notation. Idris 1 simply disambiguates based on type or namespaces each accesor.by mixedCase 6y agoIdris 2 added dot notation. Idris 1 simply disambiguates based on type or namespaces each accesor.