Geeks
Skyfold
/
idris2-pkgs
An unofficial Idris2 package repository for Nix
Primary Language
Nix
MIT License
MIT
idris2-pkgs GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
eemailme