2 ms·Does Idris qualify? https://www.idris-lang.org/ https://www.idris-lang.org/by 3np 5y agoDoes Idris qualify? https://www.idris-lang.org/ https://www.idris-lang.org/cies 5y agoIdris is great.