pll.cpsc.ucalgary.ca

     
Functional, categorical language, by University of Calgary, Canada. Innovative organization: based on theory of strong categorical datatypes divided into 2 subclasses: inductive (built up by constructors in the familiar way), and coinductive (broken down by destructors).
Alexa traffic report for PLL.CPSC.UCALGARY.CA