WJD Open Notebook

  • Home
  • cv
  • research
  • talks
  • teaching
  • books
  • computing
  • archive
  • about

  • home

  • cv

  • about

  • pages

  • posts

  • archive

  • feed

Learn You an Agda

February 27, 2014 Reading time: less than a minute (16 words).

See: Learn You an Agda and Achieve Enlightenment! by Liam O'Connor-Davis.

  • Newer Post
  • Older Post
gitlabfollow me on gitlab
  github  follow me on github
cvCurriculum Vitæ

gscholar           orcid           ms academic

© 2019 William DeMeo

Donate