These are chat archives for ChaiScript/ChaiScript

12th
Feb 2019
Rob Loach
@RobLoach
Feb 12 06:05
@phaistos Might have to let ChaiScript know about the vector type?
chai.add(bootstrap::standard_library::vector_type<std::vector<int>>("VectorInt"));