xarch
- Karma
- 8
- Created
- August 24, 2010 (15y ago)
- Submissions
- 0
I like haskell, type inference, functional programming, compilers and interpreters and I'm really interested in dependent types.
- A long story about MLF, part 1: Introduction, ML (blog.huoc.org)