Tag: MATD2020

Roger and Squeak | Radek Łukasiewicz | 2020

The aim of this project was to design a type system consisting of two distinct families with individual yet complementing … More