diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-15 18:17:43 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-15 18:17:43 +0530 |
| commit | 8ae8d7ab84d2ee38ee7cea4ff41598d135a9dc25 (patch) | |
| tree | d92306ace08d24dae1190b58abe0254f987d5909 /.gitignore | |
| parent | 3d49bb583227b7669b638c4bb3e9853feae07ae2 (diff) | |
| download | ts-theorem-provinator-8ae8d7ab84d2ee38ee7cea4ff41598d135a9dc25.tar.gz ts-theorem-provinator-8ae8d7ab84d2ee38ee7cea4ff41598d135a9dc25.zip | |
refactor: add support for imperative rewrites to make Refl more generic
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions