stackoverflow January 5, 2026 Rep: 30,313

Is this error due to a limitation of Idris' compiler/type checker or is it a language necessity?

Score

Answers

Views

11.9

Trend Score

Question Details

No question body available.

This question hasn't received any answers yet.

Export this question and its answers for further analysis or reporting.