Getting the length of a list :: I suck at ATS

First published at 09:04 UTC on September 27th, 2018.

Idris examples taken from https://www.amazon.com/Gentle-Introduction-Dependent-Types-Idris-ebook/dp/B07H5M32YM/

The way this video went, you miss all the mean, unfair things I say about Idris.

CategoryScience & Technology
SensitivityNormal - Content that is suitable for ages 13+