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