I don't know if these match your definition of "tiny", but there's Miranda: https://www.cs.kent.ac.uk/people/staff/dat/miranda/ https://www.cs.kent.ac.uk/peopl

I don't know if these match your definition of "tiny", but there's Miranda: https://www.cs.kent.ac.uk/people/staff/dat/miranda/ https://www.cs.kent.ac.uk/people/staff/dat/miranda/ and I wrote a pure, lazy, functional language and self-hosted compiler based upon Miranda: https://github.com/taolson/Admiran https://github.com/taolson/Admiran