Mercurial > hg > Members > kono > Proof > category
view CategoryExcercise.agda-lib @ 1020:d7e89e26700e
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 27 Mar 2021 08:53:04 +0900 |
parents | bd32a37784b0 |
children | 45de2b31bf02 |
line wrap: on
line source
-- File generated by Agda-Pkg name: CategoryExcercise depend: standard-library category-agda include: src -- End