Render to Twelf as a target lang. Library for use with the dc10-scalaq code generator.
1
version found for
dc10-scalaq-twelf
Render to Twelf as a target lang. Library for use with the dc10-scalaq code generator.