Commit 2019-08-16 02:19 2e76f364

feat(tactic/sanity_check): add #sanity_check command (#1318)

• create a file sanity_check Currently it contains a tactic that detects unused arguments in declarations In the future I want to add other cleaning tactics
• fix last tactic
• update comment
• checkpoint
• checkpoint
• rewrite sanity_check
• update sanity_check
• move results to appropriate files
• move some declarations Some declarations in tactic.core made more sense in meta.expr tactic.core now imports string.defs (which adds very little) add documentation
• add entry to docs/tactic.md
• fix errors
• some extra documentation
• add test
• add doc to meta.expr