Dan Aloni@da-x 
C/C++, Linux kernel, Rust, Haskell. Fixing the world, one Git commit at a time.
hindley-milner top 10 lambda-calculus top 10 type-system top 10

Expertise

Global rank

# 50,003

Location

None
Languages
Lisp
rust-la...
Rust
Haskell
OCaml
Products
Neovim
emacs-l...
Windows
macOS
Emacs
Linux
Vim
Git
Topics
hindley...
lambda-...
type-sy...
type-ch...
type-in...
functio...
integra...
rebase
vte
interme...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.