Mercurial > hg > Members > kono > Proof > galois
changeset 256:e295aaee8c65
fix
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 09 Jan 2021 10:25:31 +0900 (2021-01-09) |
parents | 6d1619d9f880 |
children | d500309866da |
files | Galois.agda-lib |
diffstat | 1 files changed, 2 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff