阿格达内核 Jupyter的实验性Agda内核。 在 。 例子 您可以直接通过mybinder界面启动以下示例： 。 或者，如果您有，则可以在本地使用 ： repo2docker https://github.com/lclem/agda-kernel 安装 pip install agda_kernel python -m agda_kernel.install 语法高亮 语法高亮是由单独完成的，但是不幸的是，它没有打包Agda模式。 可以在codemirror-agda/agda.