Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
test(logic): add current_input/1 predicate on ComprehensiveInterprete…
…r for test
- Loading branch information