dependently-typed wiki
  • github
  • 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).