Erda

The material here includes:

source code archive

Source code for all the Erda language variants.

HTML manual

Documentation for the software, as HTML.

PDF manual

Documentation for the software, as a PDF document.

This snapshot of code and documentation matches the Erda-based examples given in the paper “Errors as Data Values.”

Installation

The pre-requisites for installing the software are:

Racket

The primary implementation language of Erda. Version 6.3 or higher of Racket is required; a known-compatible version is 6.5.

Magnolisp

A language and compiler serving as a basis for the implementation of Erda_C++. A known-compatible revision of Magnolisp is 191d529486e688e5dda2be677ad8fe3b654e0d4f.

The software and the documentation can also be installed using the Racket package manager. Doing so should install the library, the command-line tool(s), and a HTML version of the manual. Racket is required for installation. Once Racket and its tools have been installed, the Magnolisp and Erda packages can be installed with the raco commands:

      raco pkg install git://github.com/bldl/magnolisp#191d529486e688e5dda2be677ad8fe3b654e0d4f
      raco pkg install https://www.ii.uib.no/~tero/erda-nik16/erda.tgz