Archives
| 25 May 2020 | Why is Idris 2 so much faster than Idris 1? |
| 27 Feb 2020 | Idris 2: Quantitative Type Theory in Action |
| 10 Jan 2020 | Linearity and Erasure in Idris 2 |
| 09 Jan 2020 | New site |
| 25 May 2020 | Why is Idris 2 so much faster than Idris 1? |
| 27 Feb 2020 | Idris 2: Quantitative Type Theory in Action |
| 10 Jan 2020 | Linearity and Erasure in Idris 2 |
| 09 Jan 2020 | New site |
Edwin Brady © Edwin Brady Powered by Pelican and Twitter Bootstrap. Icons by Font Awesome and Font Awesome More