nandi.uk
This repository has no description
343 B
27 lines
1{ pkgs, lib, config, inputs, ... }:
2
3{
4 packages = with pkgs; [
5 git
6 lean4
7 ];
8
9 scripts.build.exec = ''
10 lake build
11 '';
12
13 scripts.run.exec = ''
14 lake exe mlang
15 '';
16
17 enterShell = ''
18 echo "mlang devenv ready"
19 lean --version
20 lake --version
21 '';
22
23 enterTest = ''
24 lean --version
25 lake --version
26 '';
27}