Dragon logo

The logo for dependently-typed is a dragon. It was inspired by the venerable Dragon Book, a very popular book on compilers.

It was designed by Evonne Pinto (who happens to be Elton's sister).