metaborg/dynsem

Add string interpolation facilities

vvergu opened this issue · 0 comments

vvergu commented

Add String interpolation facilities to DynSem.