Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Agda 是一种很好的编程语言，可以探索依赖类型，玩转直觉类型理论，并试验这些东西的实现。但是已经有用 Agda 编写的“真实”程序的例子了吗？甚至可能是展示其功能的示例（类似于 xmonad 经常被称为“真实”Haskell 程序的示例）？