diff Agda.md @ 51:d7cd9e415b44

backup 2021-03-29
author autobackup
date Mon, 29 Mar 2021 00:10:03 +0900
parents b6c284fd5ae4
children
line wrap: on
line diff