answerstu

Does Idris have value types?

Does Idris have value types?The term "value type" is a bit ambiguous, but I don't know a better one.What I mean is: Is an array/struct of structs really always an array/struct of pointers (as in Java, and unlike C# and C++)?...Read more