Mercurial > hg > Members > kono > Proof > galois
view Galois.agda-lib @ 330:1ff0b95e437f default tip
try to add --cubical-compatible on Solvable
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 12 Oct 2023 10:12:16 +0900 |
parents | 5d7a811ee428 |
children |
line wrap: on
line source
name: Galois depend: standard-library-2.0 include: src flags: --warning=noUnsupportedIndexedMatch