Skip to content

docs: rename "incorrect fractal" to "weird fractal" and update README #193

docs: rename "incorrect fractal" to "weird fractal" and update README

docs: rename "incorrect fractal" to "weird fractal" and update README #193

Triggered via push May 31, 2024 14:52
Status Failure
Total duration 14s
Artifacts
Everything.agda
3s
Everything.agda
Fit to window
Zoom out
Zoom in

Annotations

1 error
Everything.agda
Process completed with exit code 1.