Artifact Content

Not logged in

Artifact e3494e09ee81631ba3210c20eb35eb4526cb3145:


{
    "name" : "Arend",
    "version" : "0.0.1",
    "description" : "Arend is a proof assistant aimed at educational use.",
    "homepage" : "http://fossil.twicetwo.com/arend.pl",

    "author" : { 
        "name" : "Andy Clifton", 
        "email" : "andyclifton@gmail.com"
    },

    "files" : ["./src", "./lib", "./tests", "./res", "./examples"],

    "repository" : { 
        "type" : "fossil", 
        "url" : "http://fossil.twicetwo.com/arend.pl" 
    },

    "dependencies" : ["pegjs"],

    "devDependencies" : [
        "istanbul"
    ],

    "scripts" : {
        "prepublish" : "node ./lib/peg.js ./src/syntax.peg"
    }
}