Skip to main content

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.