metaborg/dynsem

Revive inference style syntax for rules

eelcovisser opened this issue · 1 comments

eelcovisser commented

Revive inference style syntax for rules

vvergu commented

Done.