idris-sf Software Foundations (https://www.cis.upenn.edu/~bcpierce/sf/current) exercises written for Idris.