Zulip Chat Archive
Stream: general
Topic: Dependent support
Yaël Dillies (Dec 19 2021 at 22:34):
Does anybody mind if I generalize docs#function.support to dependent functions?
Eric Wieser (Dec 19 2021 at 22:36):
I think it would be nice to have, but it might cause annoying elaboration issues
Eric Wieser (Dec 19 2021 at 22:36):
The only way to find out is to try
Last updated: Dec 20 2023 at 11:08 UTC