comparison Agda.md @ 115:ed2a5faa5b30

backup 2023-03-08
author autobackup
date Wed, 08 Mar 2023 00:10:04 +0900
parents b6c284fd5ae4
children
comparison
equal deleted inserted replaced
114:3050cf02700d 115:ed2a5faa5b30