removing HSP.tex since it is autogenerated by HSP.lagda

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

https://ualib.github.io/agda-algebras/

Creative Commons Attribution Share Alike 4.0 International

29 stars 7 forks source link

Closed williamdemeo closed 2 years ago

williamdemeo commented 2 years ago

HSP.tex is autogenerated with the command

agda --latex --latex-dir=doc/TYPES2021 src/Demos/HSP.lagda

from the agda-algebras directory.

HSP.tex should not be edited directly, so should not be tracked in revision control.

williamdemeo commented 2 years ago

This one has conflicts. I'll resolve by simply closing this one, rebasing, and then submitting a new PR.