Agda Soas

Agda formalisation of second-order abstract syntax