diff options
author | 2013-09-06 21:50:35 +0200 | |
---|---|---|
committer | 2013-11-27 18:43:35 +0100 | |
commit | 144f2ac7c7394a701808daa503a0b6ded5663fcc (patch) | |
tree | c193b3e8ba6d2650213e8c0cc4f0c52f14eedba3 /tools | |
parent | 2923b9262e3859f2ad0169778d63d79843d7ddf7 (diff) |
Adding generic solvers to term holes. For now, no resolution mechanism nor
parsing is plugged.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions