Please submit your ideas! Anything from a picture of a napkin sketch to a fully vectorized logo is welcome.
Víctor López Juan's designs
Plain, AGD∀, full symmetry
Square, AGD∀, Inverse
Aive Kalmus' designs
Rounded coloured text
Text made of circles
G/D text * 2
Design based on "All Gs" by Aive Kalmus (see above). The SVG is available here
Design based on "Hexagonal design" by Aive Kalmus (see above).
Design based on "Ulf's design" by Ulf Norell (see below).
"The four 'a's"
Adga in the standard font, in color since it typechecks
"Napkin sketch": Rectangular letters
"Beacon of light"
Agda the Hen (Hönan Agda)
Sketches based on some elements of the Agda syntax and some cats found on google images.
Some more napkin suggestions:
Submission by Toby Thain
SVG on request.