View all lean-client-js-node analysis

How to use the lean-client-js-node.Event function in lean-client-js-node

To help you get started, we’ve selected a few lean-client-js-node examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

leanprover / vscode-lean / src / server.ts View on Github

constructor() {
        super(null); // TODO(gabriel): add support to lean-client-js
        this.statusChanged = new LowPassFilter(300);
        this.restarted = new Event();
        this.messages = [];

        this.attachEventHandlers();
    }