Reflection lands. NB decisions move forward. New ideas like dependent type tracking get discussed. All in one evening. Winter Reflections — Wed Jan 28. meetu.ps/e/PNMhv/2DHcm/i #cpp