diff options
author | Jason Gross <jgross@mit.edu> | 2017-03-31 16:15:47 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-03-31 16:15:47 -0400 |
commit | f89309d47a1f4095430c984b4ab81c804a9263ae (patch) | |
tree | 93976d76420c956e5b1e9b2f7492dc819fa92cde /src/Util/Tactics | |
parent | d1ff24b6e9dcd81ec70729143d90ff3e96dea313 (diff) |
Add [change_with_curried] to Curry.v
Diffstat (limited to 'src/Util/Tactics')
0 files changed, 0 insertions, 0 deletions