Mercurial > hg > Members > kono > Proof > galois
comparison Galois.agda-pkg @ 268:86408a621c6e
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 31 May 2022 12:42:57 +0900 |
parents | 6d1619d9f880 |
children |
comparison
equal
deleted
inserted
replaced
267:864afb582fc7 | 268:86408a621c6e |
---|