标签： agda
我在Agda开发了一个小程序，它有一些不好的性能问题。我想检查的一件事是它在执行期间消耗了多少内存。看看Agda wiki，我没有找到任何关于Agda编译器中的分析支持的信息。有办法吗？