mirror/github.com_the-nix-way_dev-templates
1
1
Fork 0
mirror of https://github.com/the-nix-way/dev-templates synced 2024-12-18 12:04:31 +01:00
Code Issues
main
github.com_the-nix-way_dev-.../lean4/.envrc
Luc Perkins 772b413f6e
Add support for Lean 4
2024-10-12 00:19:54 +03:00

2 lines
10 B
Plaintext
Raw Permalink Blame History

use flake
View Git Blame Copy Permalink