A standard library for Agda