3 ms·ah, I think I misunderstood. Still getting through the Idris book :)by pmarreck 2y agoah, I think I misunderstood. Still getting through the Idris book :)