Jaeho Shin

Record syntax can increase DDlog's expressiveness significantly. Instead of treating all relations as unnamed ordered tuples, we can allow DDlog rules to make use of the column names that the...

To provide UI elements for specifying parameters in the snapshot-config editor.

Exporting tags.json of Mindtagger tasks is currently only possible via the GUI backend. [This code](https://github.com/HazyResearch/mindbender/blob/f0223661615f07e9339f4fd9b2a2e3f44afc1be8/gui/backend/mindtagger/mindtagger-api.coffee#L110) can be put into its own command for more automation, and the GUI can simply...

by showing dropdowns and input entries on demand

Bazaar/Parser doesn't correctly escape some characters in TSV

2

For example, carriage returns should also be escaped properly but not, hence causing troubles like HazyResearch/deepdive#523. I think this part of the code needs more careful work to conform to...