[Issue 3774] Have :exec print the value of IO _ expressions
[Issue 3774] Have :exec print the value of IO _ expressions

uuhan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev