Stack Exchange

phynfo

Germany

tobiashaeberlein.net

top accounts reputation activity favorites subscriptions

Top Questions

Applying a fixed-length-vector-function to the inital part of a longer fixed-length-vector

haskell ghc type-systems dependent-type type-level-computation asked Aug 31 '12 at 18:54

stackoverflow.com

How to parallelize list-comprehension calculations in Python?

python parallel-processing list-comprehension asked Mar 8 '11 at 17:57

stackoverflow.com

Agda Type-Checking and Commutativity / Associativity of +

haskell functional-programming agda dependent-type asked Oct 18 '12 at 7:28

stackoverflow.com

Haskell's Arrow-Class in Agda and -> in Agda

haskell arrow arrows agda asked Oct 28 '12 at 20:19

stackoverflow.com

Strange type inference behaviour with GADT type (for fixed length vectors)

haskell ghc typeclass gadt asked Aug 22 '12 at 14:14

stackoverflow.com

Implicit length arguments in fixed-length-vector-functions in Agda

haskell functional-programming agda dependent-type asked Oct 19 '12 at 21:40

stackoverflow.com

Top Answers

What is the difference between liftM and mapM in Haskell

stackoverflow.com

Word tokenization using python regular expressions

stackoverflow.com

Haskell filter option concatenation

stackoverflow.com