temple.lean.git
7 months agoAdd operators support.
Evgenii Akentev [Tue, 26 Mar 2024 22:58:33 +0000 (02:58 +0400)]
Add operators support.

7 months agoSmall improvements
Evgenii Akentev [Tue, 26 Mar 2024 21:26:05 +0000 (01:26 +0400)]
Small improvements

7 months agoIt works.
Evgenii Akentev [Sun, 24 Mar 2024 18:24:08 +0000 (22:24 +0400)]
It works.

7 months agoAdd debruijn term
Evgenii Akentev [Sun, 24 Mar 2024 09:09:47 +0000 (13:09 +0400)]
Add debruijn term

7 months agoAdd simple parser
Evgenii Akentev [Sun, 24 Mar 2024 09:06:11 +0000 (13:06 +0400)]
Add simple parser