Stream: Coq users

Topic: Organize Imports


view this post on Zulip Yishuai Li (Jun 18 2020 at 18:59):

In Eclipse I can press Ctrl+Shift+O to organize the imported Java packages automatically. Is it worth having a similar feature for Coq developers?

view this post on Zulip Yishuai Li (Jun 18 2020 at 19:01):

Motivation: Less import dependency allows more parallelism in compilation.

view this post on Zulip Karl Palmskog (Jun 18 2020 at 19:02):

I think Jason's scripts already do dependency minimization? https://github.com/JasonGross/coq-tools

view this post on Zulip Karl Palmskog (Jun 18 2020 at 19:19):

a more efficient way to optimize the file-level dep graph is probably by using coq-dpdgraph: https://github.com/karmaki/coq-dpdgraph


Last updated: Feb 06 2023 at 11:03 UTC