.. _dynsem-index:

======
DynSem
======

DynSem is a domain specific language for the concise specification of dynamic semantics of programming languages.

.. toctree::
  :maxdepth: 2

  Reference <reference/index>
  Tutorials <tutorials/index>
  support

.. _dynsem-index:

.. |BUILD STATUS| image:: https://travis-ci.org/metaborg/dynsem.svg?branch=master
    :target: https://travis-ci.org/metaborg/dynsem

=====================
DynSem |BUILD STATUS|
=====================

DynSem is a domain specific language for the concise specification of dynamic semantics of programming languages.

.. toctree::
  :maxdepth: 2

  Reference <reference/index>
  Tutorials <tutorials/index>
  support

Build status icon for DynSem
Build status icon for DynSem
