{ description = "basic test framework for idris 2";

  inputs = {
    flake-utils.url = "github:numtide/flake-utils";
    idris2-pkgs.url = "github:claymager/idris2-pkgs";
    nixpkgs.follows = "idris2-pkgs/nixpkgs";
  };

  outputs = { self, nixpkgs, idris2-pkgs, flake-utils }:
    flake-utils.lib.eachSystem [ "x86_64-darwin" "x86_64-linux" "i686-linux" ]
      (system:
        let
          pkgs = import nixpkgs {
            inherit system;
            overlays = [ idris2-pkgs.overlay ];
          };
          inherit (pkgs.idris2-pkgs._builders) idrisPackage devEnv;

          tap = idrisPackage ./. { };
        in {
          defaultPackage = tap;
          packages = { inherit tap; };
          devShell = pkgs.mkShell { buildInputs = [ (devEnv tap) ]; };
        }
      );
}