[ refactor ] type inference and evaluation for the REPL (#1348)
[ refactor ] type inference and evaluation for the REPL (#1348)


mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm