mmirman/caledon — pull request #6 by gelisam (2013-03-08 04:48:07+00:00)
Title: "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.