idris2-pkgs icon indicating copy to clipboard operation
idris2-pkgs copied to clipboard

Published 20 hours ago • verified publisher icon claymager
→

Metadata

An unofficial Idris2 package repository for Nix

← Metadata

44
Stars
14
Forks
Watchers

Owner

verified publisher icon claymager

Metadata

An unofficial Idris2 package repository for Nix

Back