summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Evgenii Akentev [Thu, 28 Mar 2024 20:22:20 +0000 (00:22 +0400)]
Fix operators
Evgenii Akentev [Tue, 26 Mar 2024 22:58:33 +0000 (02:58 +0400)]
Add operators support.
Evgenii Akentev [Tue, 26 Mar 2024 21:26:05 +0000 (01:26 +0400)]
Small improvements
Evgenii Akentev [Sun, 24 Mar 2024 18:24:08 +0000 (22:24 +0400)]
It works.
Evgenii Akentev [Sun, 24 Mar 2024 09:09:47 +0000 (13:09 +0400)]
Add debruijn term
Evgenii Akentev [Sun, 24 Mar 2024 09:06:11 +0000 (13:06 +0400)]
Add simple parser
projects / temple.lean.git / log