Added newest versions of Agda implementations.