|
|
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
|
|