A compiler written in Idris. We'll start with Scheme and see where it goes.