linux linux-kernel asked Jul 5 '10 at 5:15

scala path-dependent-type dependent-type shapeless asked Oct 17 '12 at 13:42

scala haskell agda dependent-type idris asked Nov 21 '12 at 16:37

agile scrum management extreme-programming asked Sep 25 '12 at 17:35

scala aop asked Feb 17 '11 at 6:20

scala inheritance case-class asked Jun 22 '12 at 15:06

lint gjslint asked Dec 14 '11 at 11:14

agile scrum process asked Sep 25 '12 at 15:40

estimation user-story extreme-programming workload-estimation asked Apr 7 at 9:42

scala asked Feb 27 '12 at 16:20