A topos-oriented programming language. Native via MLIR and LLVM, with two heaps: one addressed by content, one by the points of the Leech lattice.