Idris2 :interpret result doesn't include type
meraymond2 opened this issue · 1 comments
meraymond2 commented
This isn't necessarily a bug, but I'd like clarification that this is the expected behaviour.
You can see this in the repl too, in v1
Idris> 2 + 2
4 : Integer
and in v2
Main> 2 + 2
4
meraymond2 commented
I've made an issue that documents this change.