lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Add the command lambdapi depend to compute dependencies quickly

Open fblanqui opened this issue 1 year ago • 0 comments

TODO:

  • [ ] update CHANGES
  • [ ] update doc (including limitations)
  • [ ] extend to dk files
  • [ ] test
  • [ ] try to handle comments ?
  • [ ] try to handle escaped names ?

fblanqui avatar Feb 28 '25 17:02 fblanqui