/idris2

idris2 package for Fedora

This repository is not active