来自Agda Wiki

文档：图案

模式

检索自https://wiki.portal.chalmers.se/agda/Docs/Patterns网站
页面上次修改时间：2008年3月24日下午5:29