9.1
-
Added the
-p
command line option.Expressions from
-p
come first, then expressions from-f
, and finally those from the command line.
If-p
is set, the default prelude will be overwritten. (The default prelude isdef $ index.@
)
Added the -p
command line option.
Expressions from -p
come first, then expressions from -f
, and finally those from the command line.
If -p
is set, the default prelude will be overwritten. (The default prelude is def $ index.@
)