4 ms·Idris 2 is a nice alternative to Agda. It seems to be a bit more focused on practical programming.by mbrodersen 5y agoIdris 2 is a nice alternative to Agda. It seems to be a bit more focused on practical programming.