Futarimiti / sprintf.idr

(solved) https://stackoverflow.com/questions/77442209/cannot-match-two-identical-types `idris --testpkg sprintf.ipkg`

This repository is not active

(solved) https://stackoverflow.com/questions/77442209/cannot-match-two-identical-types `idris --testpkg sprintf.ipkg`

Language:Idris 100.0%