看了一下，苏格兰大学计算机系弄的
网站不是Idris写的，这个差评 :)

【 在 blitz (blitz) 的大作中提到: 】
: 标  题: 感觉Idris设计很好啊
: 发信站: 水木社区 (Mon Sep 14 12:10:14 2020), 站内
:
: 补上了Haskell的好多坑，比如 record的全局性
:
: --
:
: ※ 来源:·水木社区 newsmth.net·[FROM: 159.226.171.*]
--
FROM 106.121.68.*