diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-16 17:31:12 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-16 17:36:36 +0530 |
| commit | 4a0fb237cac8796e45d7b217db0d808452454820 (patch) | |
| tree | 6ae2177bd6f75d5e589adf3edccc31842a10b99c /src/util.ts | |
| parent | efc0358c1e2b52308d3df68aa713cef5dc6e6bfe (diff) | |
| download | ts-theorem-provinator-4a0fb237cac8796e45d7b217db0d808452454820.tar.gz ts-theorem-provinator-4a0fb237cac8796e45d7b217db0d808452454820.zip | |
feat: lambda calculus
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions