: Code libraries like the H.O.T.T. repository on GitHub , which uses rewriting in the Agda programming language.
If you are looking for a specific "piece" or component from this file (such as a PDF or code script), it is common for large digital resources or research papers to be split into multi-part RAR archives (e.g., Part 1, Part 2). HOtT.part2.rar
Could you please clarify if you are looking for a from a HoTT paper, a code snippet from a programming library, or instructions on how to extract this specific archive? : Code libraries like the H
TOP