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

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

Idris examples taken from

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 16 and over