Skip to content

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

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

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

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