search

metaborg / dynsem

DynSem
Apache License 2.0
12 stars 4 forks source link

readme

DynSem Build Status

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