/target
/result
/.direnv
/.idr2nix
