The latest version of idris is 1.3.4-0.

lib:idris

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.