The best replacement for idris is agda.

The best alternatives to idris are rated as following:
★★★★★  agda
★★★★  coq
★★★  constellation
★★  greg inglis

Your alternative for idris is not listed? Suggest!


No companions for idris have been suggested so far.
You have in mind a companion for idris and it is not yet here? Propose!



Google Trends

Scale is based on the average worldwide traffic of idris in all years. Click on graph for more.
idris
agda
coq