"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.