Archives
| 31 Jul 2026 | Notes: 31st July 2026 |
| 24 Jul 2026 | Notes: 24th July 2026 |
| 26 Jun 2026 | Notes: 26th June 2026 |
| 19 Jun 2026 | Notes: 19th June 2026 |
| 12 Jun 2026 | Notes: 12th June 2026 |
| 05 Jun 2026 | Notes: 5th June 2026 |
| 22 May 2026 | Notes: 22nd May 2026 |
| 15 May 2026 | Notes: 15th May 2026 |
| 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 |