docs: rename "incorrect fractal" to "weird fractal" and update README #193
regenerate-everything.yaml
on: push
Everything.agda
3s
Annotations
1 error
Everything.agda
Process completed with exit code 1.
|