project.json

{
  "id": "idris/edwinb-ws-idr",
  "name": "WS-idr",
  "authors": ["Edwin Brady"],
  "license": "none",
  "languages": ["Idris"],
  "tags": ["interpreter"],
  "date": "2012-11-25 16:53:09 +0000",
  "spec_version": "0.3",
  "source": [
    "https://github.com/edwinb/WS-idr",
    "https://github.com/wspace/edwinb-ws-idr",
    "https://twitter.com/edwinbrady/status/689863187546664960"
  ],
  "submodules": [{ "path": "WS-idr", "url": "https://github.com/wspace/edwinb-ws-idr" }],
  "whitespace": { "extension": "ws" },
  "assembly": {
    "mnemonics": {
      "push": "PUSH",
      "dup": "DUP",
      "copy": "COPY",
      "swap": "SWAP",
      "drop": "DISCARD",
      "slide": "SLIDE",
      "add": "ADD",
      "sub": "SUB",
      "mul": "MUL",
      "div": "DIV",
      "mod": "MOD",
      "store": "STORE",
      "retrieve": "RETRIEVE",
      "label": "LABEL",
      "call": "CALL",
      "jmp": "JUMP",
      "jz": "JZ",
      "jn": "JNEG",
      "ret": "RETURN",
      "end": "END",
      "printc": "OUTPUT",
      "printi": "OUTPUTNUM",
      "readc": "READCHAR",
      "readi": "READNUM"
    },
    "usage": ["enum", "debug"]
  },
  "programs": [
    { "path": "fact.ws", "equivalent": "fact.ws", "spec_version": "0.2" },
    { "path": "hanoi.ws", "equivalent": "hanoi.ws", "spec_version": "0.2" },
    { "path": "hworld.ws", "equivalent": "hworld.ws", "spec_version": "0.2" },
    { "path": "name.ws", "equivalent": "name.ws", "spec_version": "0.2" }
  ],
  "commands": [{ "bin": "wspace", "usage": "<file>" }]
}