在Ruby中，如何将STDIN重定向到文件

Question

这个Ruby代码挂起：

alert(myVar)

所以在Ruby中，如何将STDIN重定向到文件？

Answer 1

好的，根据提供的变体链接，我得到了它的工作：

Fixpoint rev (l:natlist) : natlist :=
  match l with
  | nil    => nil
  | h :: t => rev t ++ [h]
  end.

Theorem rev_involutive : forall l : natlist,
  rev (rev l) = l.
Proof.
  intros l. induction l as [| n l'].
  - reflexivity.
  - unfold rev.

谢谢！