2 ms·How does the language compare to a language like Idris ?by gautv 6y agoHow does the language compare to a language like Idris ?