v2.2.0-lv4.0.0
- Move all utility functions into the
Clinamespace so that they cannot clash with other libraries, such as Std4. - Add a new
ParseableTypedef ModuleName := Namethat accepts Lean module names or Lean files by relative path
Cli namespace so that they cannot clash with other libraries, such as Std4.ParseableType def ModuleName := Name that accepts Lean module names or Lean files by relative path