metaborg/dynsem Issues
Update Truffle
UpdatedDocument built-in types
ClosedAdd list concatenation operator
Closed 1Add automated regression testing
Closed 2Builders in DynSem
UpdatedRule could not be type checked
Updated 4Lazily load term classes
UpdatedBenchmark harness
UpdatedReport time spent in rules
UpdatedEmpty tuple as unit?
UpdatedSource references are not accessible
Closed 18Case match fails to match 0
Closed 11Simple sort alias not expanded
Closed 1