feat: add flake.nix and ipkg-parser.nix#313

Open

srghma wants to merge 2 commits intostefan-hoeck:mainfrom srghma:nix-support

+818

Commits on Oct 20, 2024

feat: add flake.nix and ipkg-parser.nix
srghma
committed
idris2Packages: add methods parseIpkg and importIpkg, which give identical output to idris2 --dump-ipkg-json ./mypackage.ipkg, but implemented in pure nix
srghma
committed