2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
idris2 0.3.0-1 4 0.31 Funtional Programming Lanugage with Dependent Types mb64
idris2-git 0.3.0.r154.g37a4c6f1-1 1 0.29 Funtional Programming Lanugage with Dependent Types mb64

2 packages found. Page 1 of 1.