"Somebody plz write a wrapper"? No need!

Usage:
  > caledon --io-only examples/hello.ncc
  name?
  world
  hi world!

Without --io-only, the IO is lost in a sea of proof terms.