RT @PLT_Hulk: AT INTERVIEW HULK EXPLAIN VALUE PROPOSITION OF DEPEND TYPE IN AGDA! ACTUALS CRICKET WERE BROUGHT TO ROOM TO CHIRP AT HULK!!