diff Agda.md @ 72:1986100619b2

backup 2021-06-16
author autobackup
date Wed, 16 Jun 2021 00:10:04 +0900 (2021-06-15)
parents b6c284fd5ae4
children
line wrap: on
line diff