3 ms·

See also: The Opa Framework at http://opalang.org/ http://opalang.org/. (Comparison on http://www.impredicative.com/ur/opa/. http://www.impredicative.com/ur/op

by Qerub 12y ago

See also: The Opa Framework at http://opalang.org/ http://opalang.org/. (Comparison on http://www.impredicative.com/ur/opa/. http://www.impredicative.com/ur/opa/.)