caledon-3.0.0.0: examples/readlinein.ncc

#include <prelude.ncc>

-- switching the direction of the output to be input with unification!
defn readLineIn : string -> prop
  as \S . readLine $ \R . do , S =:= R