A formalisation of Restriction Categories in Agda