numerics pattern-matching core-language asked Dec 27 '12 at 0:03

proof idris asked Sep 27 '15 at 12:50

c# c++ design haskell d asked Aug 23 '11 at 7:55

co.combinatorics ds.data-structures asked Oct 22 '13 at 12:51

scala asked Apr 29 '14 at 22:09