xarch

Karma: 8

Joined: over 14 years ago

ID: xarch

About

I like haskell, type inference, functional programming, compilers and interpreters and I'm really interested in dependent types.

Visit submission history to see stories and comments by xarch.