RunKit +

Try any Node.js package right in your browser

This is a playground to test code. It runs a full Node.js environment and already has all of npm’s 1,000,000+ packages pre-installed, including calculus-of-constructions with all npm packages installed. Try it out:

var calculusOfConstructions = require("calculus-of-constructions")

all documents on RunKit are public
require() any package directly from npm
use arrow functions, classes, template strings, and most of ES6
await any promise instead of using callbacks (example)
create your own embedded node.js snippets

This service is provided by RunKit and is not affiliated with npm, Inc or the package authors.

calculus-of-constructions v0.1.4

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript

Overview Browse Files