2 ms·
> Of course, if the commentor is using anything other than Idris I'm sure the Idris compiler has bugs somewhere too. If the OP actually programs, they are viol
by marcosdumay 2y ago
> Of course, if the commentor is using anything other than Idris
I'm sure the Idris compiler has bugs somewhere too. If the OP actually programs, they are violating their rationale (I'm quite sure assembly or assembled binary aren't ok either).