2017-05-20 | Amin Bandali | Add Liquid Haskell to Tools | blob | commitdiff | raw |
2017-05-20 | Amin Bandali | What I'm doing this summer | blob | commitdiff | raw | diff to current |
2017-05-02 | Amin Bandali | Mention my work on Literate Unit-B's type checker | blob | commitdiff | raw | diff to current |
2017-02-02 | Amin Bandali | Add high school diploma and average to Education | blob | commitdiff | raw | diff to current |
2017-01-21 | Amin Bandali | Add Recent Projects section | blob | commitdiff | raw | diff to current |
2016-12-25 | Amin Bandali | Update languages | blob | commitdiff | raw | diff to current |
2016-12-24 | Amin Bandali | Update Misc. | blob | commitdiff | raw | diff to current |
2016-12-21 | Amin Bandali | Add LICENSE | blob | commitdiff | raw | diff to current |
2016-12-21 | Amin Bandali | FakeBold is alright for print but too ugly on display... | blob | commitdiff | raw | diff to current |
2016-12-19 | Amin Bandali | Initial check-in | blob | commitdiff | raw | diff to current |