2 ms·May your types be dependent and your functions pure. #Idris2016by jolux 11y agoMay your types be dependent and your functions pure. #Idris2016