Giters

metaborg / dynsem

DynSem

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Revive inference style syntax for rules

eelcovisser opened this issue · comments

commented

Revive inference style syntax for rules

commented

Done.