2 ms·
This seems to be the convention in Idris where data IntAndChar = IntAndChar Int Char would not compile with Main.IntAndChar already defined.
by weavie 10y ago
This seems to be the convention in Idris where
data IntAndChar = IntAndChar Int Char
would not compile with
Main.IntAndChar already defined.