projects / temple.lean.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Add simple parser
authorEvgenii Akentev <i@ak3n.com>
Sun, 24 Mar 2024 09:06:11 +0000 (13:06 +0400)
committerEvgenii Akentev <i@ak3n.com>
Sun, 24 Mar 2024 09:09:43 +0000 (13:09 +0400)
commit0fe449a4e535f30ef1d93a83a880e631e9015888
tree303f3ca65fb529c4b71f77967f349152c20c37fdtree | snapshot
Add simple parser
.gitignore [new file with mode: 0644] blob
Temple.lean [new file with mode: 0644] blob
Temple/Syntax.lean [new file with mode: 0644] blob
lake-manifest.json [new file with mode: 0644] blob
lakefile.lean [new file with mode: 0644] blob
Simple template library in Lean4.