Namespace specs under functions?
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
E.g., instead of `foo_spec`, `foo.spec`. For both axiomatic and non-axiomatic specs.
Contributor guide
Assessment
This issue has not been assessed yet.