agda-algebras - v.2.0.1

Minor updates

• improve paper describing proof of HSP theorem (see doc/TYPES2021/alg-hsp)
• improve citation information

- Agda
Published by williamdemeo about 4 years ago

agda-algebras - v.2.0: Release for citing, doi, and TYPES2021 postproc

- Agda
Published by williamdemeo about 4 years ago

agda-algebras -

- Agda
Published by williamdemeo over 4 years ago