Proof languages are for math papers, they said. So I built a voxel game in one. Rain, water, torches, day and night, rendered on the GPU. No OpenGL, no shaders, no engine. The AI writes the code.…