projects / temple.lean.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 001063c) | patch
It works.
authorEvgenii Akentev <i@ak3n.com>
Sun, 24 Mar 2024 18:24:08 +0000 (22:24 +0400)
committerEvgenii Akentev <i@ak3n.com>
Tue, 26 Mar 2024 21:24:32 +0000 (01:24 +0400)
commit426ef4330ca9f055507f916495e74a2662848d08
treedb6cea2930028013246df306cd0ea3a6e62c02a6tree | snapshot
parent001063cd6399c310da7a5f360a600ec8d6505159commit | diff
It works.
Temple.lean diff | blob | blame | history
Temple/DeBruijn.lean diff | blob | blame | history
Temple/DeBruijnEval.lean [new file with mode: 0644] blob
Temple/Eval.lean [new file with mode: 0644] blob
Temple/Syntax.lean diff | blob | blame | history
Simple template library in Lean4.