Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
add placeholder with notes on todo, workaround for #120
Tackling this properly requires proper handling of currying, see #122. This is not a proper fix, since it doesn't yet understand the placeholder. But right now the best we could do here is not error right away.
- Loading branch information