Dada Design Docs

This section of the site contains design docs and reference material.

There is an experimental, and rather dated, operational semantics and type system at the dada-lang/dada-model repository.