]> git.xn--bdkaa.com Git - temple.lean4.git/commit
projects / temple.lean4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90f4f7a) | patch
Update the deps master
authorEvgenii Akentev <hi@xn--bdkaa.com>
Tue, 19 Aug 2025 19:17:33 +0000 (23:17 +0400)
committerEvgenii Akentev <hi@xn--bdkaa.com>
Tue, 19 Aug 2025 19:17:37 +0000 (23:17 +0400)
commite703f208d28bab041c92e852750a26cb55eaec85
tree48a0e85820a52a271a471c867372ce3d3c29df93tree | snapshot
parent90f4f7ab7d745736de55703a4fdded3d388017cfcommit | diff
Update the deps
Temple/DeBruijnEval.lean diff | blob | history
Temple/Eval.lean diff | blob | history
Temple/Syntax.lean diff | blob | history
lake-manifest.json diff | blob | history
lakefile.lean [deleted file] blob | history
lakefile.toml [new file with mode: 0644] blob
lean-toolchain [new file with mode: 0644] blob
Simple template library in Lean4.