IntersectMBO / IntersectMBO/formal-ledger-specifications
Add plot of typechecking times to mkdocs site
Open
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
- Use the script provided in `build-tools/scripts/plot_typecheck_time.py`
- Add `pandas` package to the `ci` derivation
- Fix `CONTRIBUTING.md` instruction to plot typechecking times
Related #311
Contributor guide
Assessment
This issue has not been assessed yet.