A compiler for a functional low-level language, targeting tiny computers.