Skip to content

Latest commit

 

History

History
4 lines (2 loc) · 335 Bytes

readme.md

File metadata and controls

4 lines (2 loc) · 335 Bytes
Raw

DynSem Build Status

DynSem is a DSL for declarative specification of dynamic semantics of languages. Read about using DynSem in the DynSem documentation.