High school students visited us
More than 20 second year students at Tokyo Tech High School of Science and Technology visited our group under the Summer Lecture at Tokyo Tech. They are enthusiastically listen to our demonstrations of live programming environments, program verification with a proof assistant system, and a lazy functional programming language.
