Dependent types This repository holds my humble attempts to learn Agda while attending course @ SPbAU RAS, fall 2016 - Programming with dependent types