2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
idris2 0.2.0-1 1 0.41 Funtional Programming Lanugage with Dependent Types mb64
idris2-git 0.2.0.r404.g31b486c-1 0 0.00 Funtional Programming Lanugage with Dependent Types mb64

2 packages found. Page 1 of 1.