I am excited for this. I haven't read it all yet, but what I have has been interesting, and I look forward to reading the rest. Maybe this will be what I will

I am excited for this. I haven't read it all yet, but what I have has been interesting, and I look forward to reading the rest. Maybe this will be what I will use to get myself to finally learn idris.