{ pkgs, lib, config, inputs, ... }:

{
  packages = with pkgs; [
    git
    lean4
  ];

  scripts.build.exec = ''
    lake build
  '';

  scripts.run.exec = ''
    lake exe mlang
  '';

  enterShell = ''
    echo "mlang devenv ready"
    lean --version
    lake --version
  '';

  enterTest = ''
    lean --version
    lake --version
  '';
}