Archives

10 Jan 2020 Linearity and Erasure in Idris 2
09 Jan 2020 New site

© Edwin Brady Powered by Pelican and Twitter Bootstrap. Icons by Font Awesome and Font Awesome More