247 reputation
14
bio website
location Wroclaw, Poland
age
visits member for 2 years
seen Feb 22 at 15:30

Oct
29
answered Type checking and recursive types (Writing the Y combinator in Haskell/Ocaml)
Jun
10
answered How do purely functional languages handle modularity?