{
  description = "Alisaie";

  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
    flake-parts.url = "github:hercules-ci/flake-parts";
  };

  outputs = inputs@{ nixpkgs, flake-parts, ... }:
    flake-parts.lib.mkFlake {inherit inputs;} {
      systems = [
        "x86_64-linux"
      ];

      perSystem = {self', pkgs, system, ...}: {

        # packages.default = self'.packages.alisaie;
        # packages.alisaie = pkgs.stdenv.mkDerivation {
        #   pname = "Alisaie";
        #   version = "0.0.1";

        #   src = ./.;

        #   nativeBuildInputs = with pkgs; [ ];
        #   buildInputs = [ ];

        # };

        devShells.default = pkgs.mkShell {
          packages = with pkgs; [
            (agda.withPackages (p: with p; [ standard-library ]))
            (haskellPackages.BNFC)
            (haskellPackages.alex)
            (haskellPackages.happy)
          ];
        };

      };
    };
}