How can I skip typing in REPL (
utop or stock
ocaml) ? Ironic, isn’t ?
( Why on earth do I want that ? Because maybe I want to write Church numerals found in a lambda calculus course’s exercises which historically and academically comes first while learning ML )
Imagine what OCaml sternly replied when I fed it
pred n ! The thing almost segfaulted in the cycle of a clock.
If not, is
utop 's design allowing such feature ?
If still not, I’ll type the expressions myself some later time, please don’t spoil my learning, you erudite experts ! Just focus on the somewhat doomed question