projects / ~bandali / cv / search
| 2017-05-20 | Amin Bandali | Add Liquid Haskell to Tools |
commit | commitdiff | tree |
| 2017-05-20 | Amin Bandali | What I'm doing this summer |
commit | commitdiff | tree |
| 2017-05-02 | Amin Bandali | Mention my work on Literate Unit-B's type checker |
commit | commitdiff | tree |
| 2017-02-02 | Amin Bandali | Add high school diploma and average to Education |
commit | commitdiff | tree |
| 2017-01-21 | Amin Bandali | Add Recent Projects section |
commit | commitdiff | tree |
| 2016-12-25 | Amin Bandali | Update languages |
commit | commitdiff | tree |
| 2016-12-24 | Amin Bandali | Update Misc. |
commit | commitdiff | tree |
| 2016-12-21 | Amin Bandali | Add LICENSE |
commit | commitdiff | tree |
| 2016-12-21 | Amin Bandali | FakeBold is alright for print but too ugly on display... |
commit | commitdiff | tree |
| 2016-12-19 | Amin Bandali | Oops, forgot to link the template |
commit | commitdiff | tree |
| 2016-12-19 | Amin Bandali | Add README.md |
commit | commitdiff | tree |
| 2016-12-19 | Amin Bandali | Initial check-in |
commit | commitdiff | tree |