agda-tac

这个小小的玩具就是我创建agda-mode的原因。它是一个用于Agda编程语言的交互式外部策略框架。

演示

在GitHub Actions页面（查看说明）可以找到按提交构建的版本。如果您没有被GitHub选中使用GitHub Actions，您可能看不到动作页面。

有关此组件的博客。