4 ms·How did Idris solve this again btw?by tartrate 6y agoHow did Idris solve this again btw?mixedCase 6y agoIdris 2 added dot notation. Idris 1 simply disambiguates based on type or namespaces each accesor.