Welcome

This is a curated list of my notes. Notes here will be closer to mini-blog posts rather than the messy and disorganised version of my notes. Yet, they won't be too formal otherwise they will start taking too long to organise and write.

You can find out what I'm currently working on by looking at my TASKS.

Latest news

05. Data Generic Programming Explains how to use type descriptions to write highly generic code without the need for macros or code-generation.

04. More things with exact usage goes into more things to do when you can mix exact usage annotation with dependent types.

Checkout 03. Getting started with Idris a short tutorial about how to get started with idris with very little prior knowledge.