I don't think we need to get all of these done. Mainly a list of ideas - [ ] editing cmake - [ ] parallel builds - [ ] concretization: together
I don't think we need to get all of these done. Mainly a list of ideas