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