Created
August 12, 2019 17:48
-
-
Save zeta-00/e891e675c1611c44b841ab56ae7fad01 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[wolf@wlf:~]$ ihaskell | |
IHaskell [COMMAND] ... [OPTIONS] | |
Haskell for Interactive Computing. | |
-? --help Display help message | |
-V --version Print version information | |
IHaskell install [OPTIONS] | |
Install the Jupyter kernelspec. | |
-l --ghclib=<path> Library directory for GHC. | |
--use-rtsopts="<flags>" Runtime options (multithreading etc.). See `ghc +RTS -?`. | |
--debug Print debugging output from the kernel. | |
-c --conf=<rc.hs> File with commands to execute at start; replaces ~/.ihaskell/rc.hs. | |
--prefix=<install-dir> Installation prefix for kernelspec (see Jupyter's --prefix option) | |
-? --help Display help message | |
--stack Inherit environment from `stack` when it is installed | |
IHaskell kernel [OPTIONS] <json-kernel-file> | |
Invoke the IHaskell kernel. | |
-l --ghclib=<path> Library directory for GHC. | |
--debug Print debugging output from the kernel. | |
-c --conf=<rc.hs> File with commands to execute at start; replaces ~/.ihaskell/rc.hs. | |
--stack Inherit environment from `stack` when it is installed | |
IHaskell convert [OPTIONS] <file> | |
Convert between Literate Haskell (*.lhs) and Ipython notebooks (*.ipynb). | |
-i --input=<file> File to read. | |
-o --output=<file> File to write. | |
-f --from=lhs|ipynb Format of the file to read. | |
-t --to=lhs|ipynb Format of the file to write. | |
--force Overwrite existing files with output. | |
-s --style=bird|tex Type of markup used for the literate haskell file | |
--bird Literate haskell uses > | |
--tex Literate haskell uses \begin{code} | |
-? --help Display help message | |
[wolf@wlf:~]$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment