agda kernel:Jupyter的实验性Agda内核 源码

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