|
|
|
|
|
|
by marcosdumay
695 days 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). |
|
|