pkgs/development/compilers/idris2/

pkgs/development/compilers/ · 0 packages and modules · 1 open pull requests

Sign in to subscribe

ci/OWNERS

pkgs/development/compilers/idris2 mattpolzin

Pull requests 1

treewide: fix prelude builtins warnings

#512909 by guylamar2006 · opened 5mo ago

Issues 0

None open.