关于Agdapad

此页面将您连接到远程服务器，Emacs实例已为您生成。Agdapad的目的是降低门槛在本地安装变得多余时，使用Agda及其标准库，以及允许在小型Agda项目上进行现场协作。Agdapad建成在帕多瓦大学.

服务器上安装的版本：Agda 2.6.4.1、standard-library 2.0、，立方0.7，agda-categories 0.2.0，1lab d698f2（由于命名冲突，您需要手动将其添加到~/.agda/defaults以便使用它）

服务器问题

如果出现连接问题，请尝试重新加载页面。你会的能够在您停止的地方继续。

服务器设备不是很好，因此请注意您的资源使用情况。离开时，您无需退出Emacs第页，但请终止Agda或退出Emacs，以防Agda服用多余的时间。

这项服务是免费提供的，没有任何保证。它可能随时消失。您的Agda程序存储在服务器，未加密，但未记录个人识别数据。拜托通知我有任何担保您发现的问题。

用于自托管此服务器的NixOS包在此处可用（AGPL许可）。您也可以访问此服务器使用本机VNC查看器.

在本地计算机上安装Agda

对于较大的实验，如果您在本地安装Agda，它会更有趣在你的电脑上。有可用的说明在Agda维基不幸的是，安装过程没有非常简单，尤其是在Windows上。出于这个原因，你还可以下载“包括所有电池”系统映像（1.7 GiB，另见1.3 GiB最小值形象没有Firefox，固件更少），并将其作为虚拟机使用例如，虚拟机.阿尔贝特有点重，这是一种快速的方式。

联系人

英戈·布莱奇施密特
iblech@speicherleck.de（电子邮箱）
+49 176 95110311

使用本机VNC查看器

只需将您喜爱的VNC查看器指向该地址无线传感器网络：//agdapad.准相干.io/__虚拟数控/会话名称.

然而，大多数VNC客户端不支持WebSocket协议noVNC客户端成为名人例外。因此，您需要设置TCP代理；在Linux上，网络卫星（大多数包装Linux发行版）可以为您做到这一点：

1. 运行websocat—二进制tcp-l:127.0.0.1:5901无线传感器网络：//agdapad.准相干.io/__虚拟数控/会话名称.
2. 将VNC查看器定向到本地主机：1.