Hacker News new | comments | ask | show | jobs | submit login
user:bandali
created:December 25, 2015
karma: 544
about: Amin Bandali -- https://aminb.org

Computer Scientist. Into Lean, Haskell, and Elisp.

topcolor: ffbb33 (previously c6c6c6)

[ my public key: https://keybase.io/bandali; my proof: https://keybase.io/bandali/sigs/AvKIfiSPW-AHYnAO1tcjpn8ZRKPkSIAPtWnY_ZIV164 ]

submissions
comments
favorites