user avatar
user avatar
user avatar
eatt1029
  • Member for 3 years, 5 months
  • Last seen this week
  • Taipei, Taiwan
Stats
1
reputation
0
reached
1
answer
0
questions
About

Just a programmer-ish guy who loves Haskell and lives in Taipei.

I'm interested in things like type-level programming, functional language, programming language theory and formal program construction. Also have few experience in the dependent type programming, more specifically - agda; and lambda calculus and (e)DSL.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %