search

gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

Product operator #61

Closed mantkiew closed 9 years ago

mantkiew commented 9 years ago

product xs = x1 * x2 * ... * xn