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

  • rss
  • email
  • github
  • discord