IntersectMBO / IntersectMBO/formal-ledger-specifications
Investigate performance of deriveComp
Open
investigation
metaprogramming
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
The derivation strategy is currently quite slow. In particular, I've noticed that printing contexts at the start of a computation is pretty much instant, while it sometimes takes multiple seconds to print a single line deep into it.
Contributor guide
Assessment
This issue has not been assessed yet.