xarch

Karma: 8

Joined: 超过 14 年前

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.