Idris

Though I have been long aware of Idris's existence, I didn't see real Idris code until I saw the following tweet in Dec 2024:

This immediately captured my interest. I have spent time thinking about pipeline designs.