Logo Competition

Please submit your ideas! Anything from a picture of a napkin sketch to a fully vectorized logo is welcome.


The above are all Inkscape SVG files. Feel free to experiment and submit your new versions.

Ulf's design:

Agda Logo

Gallais' Agda goal (simple emacs screenshot, pure ascii):

Agda2 logo