TypeTopology consists of literate Agda files that contain Agda code as well as accompanying prose. We will not consider AI generated Agda code or prose.
Our reasons for this policy resonate with those of the Rust community, eloquently explained in this blog post from Aug. 5, 2026 by Jynn Nelson.