Definitions - ku-fpg/hermit-shell GitHub Wiki

Hermit Shell

• The GHCi prompt + import HERMIT.API.
• Assumes there is a (remote) HERMIT Shell Server running somewhere.