André VidelaProtocol Programing, Part 2: Dependent VectorsIn the previous part we used protocols in order to model for some properties we were interested in and found multiple examples that fit…Jan 7, 2019Jan 7, 2019
André VidelaProtocol Programing, Part 1: 2D spaces.During the holidays I ended up having a lot of free time and no phone nor computer, I only had my iPad with me. From this experiment I…Jan 7, 2019Jan 7, 2019
André VidelaTotal programming in SwiftEdit: I was interviewed for the Corecursive podcast on this very topic. You can find the podcast episode here along with a great selection…Sep 29, 20174Sep 29, 20174
André VidelaExcuse me sir, there is no curry in my JavaA while ago, I was given the following assignment for a computer vision class:Dec 21, 2016Dec 21, 2016