Sign Up for Free

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 agda-stdlib-0.9 with all npm packages installed. Try it out:

var agdaStdlib09 = require("agda-stdlib-0.9")

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

agda-stdlib-0.9 v0.9.3

The Agda Standard Library

agda-stdlib

The Agda standard library. You can browse the source in glorious clickable html here:

http://agda.github.io/agda-stdlib/html/README.html

Metadata

RunKit is a free, in-browser JavaScript dev environment for prototyping Node.js code, with every npm package installed. Sign up to share your code.
Sign Up for Free