安全哈斯克尔	无
语言	哈斯克尔2010

语言。句法。糖。单色打印

描述

句法的实例雷蒙对于基于的域键入和绑定T

简介

文档

苏加莫纳德：：（对称~键入第页，绑定T :<:第页，蒙纳德米:<:第页，可打字的m之间，可打字的a） =>ASTF公司符号（ma）->雷蒙sym（对称）(ASTF公司符号a）来源

一元行为的单层糖化