Lode is the Lurch Node app. It defines a node REPL which has all of the Lurch LDE brains loaded. For details see the [Lode tutorial](@tutorial Lurch Node REPL).
Methods
inner
list()
List libs, proofs, and parsers
Module
Module
Lode is the Lurch Node app. It defines a node REPL which has all of the Lurch LDE brains loaded. For details see the [Lode tutorial](@tutorial Lurch Node REPL).
List libs, proofs, and parsers