1.
Paolo G. Giarrusso
@Blaisorblade
Agda 2.6.3 is out
Highlights
- Compile and run cubical code (as long as the cubical features can be erased) usiβ¦ twitter.com/i/web/status/1β¦
Highlights
- Compile and run cubical code (as long as the cubical features can be erased) usiβ¦ twitter.com/i/web/status/1β¦
Retweet of status by @ulfnorell
...but wait! There's more!
Show more tweets from
@Paolo G. Giarrusso (Blaisorblade)
1.
fakhright
@fakhright
astaghfirullah peng.krim guaaaaaaaa..............a *salto sambil solat*
2.
ReganBrittany
@ReganBrittany
Nanana diva is the female version of the hustlaaaa! #gettinmoney
3.
4.
5.
6.
7.
Rickygonz1215
@Rickygonz1215
If I weighed 182 I'd be cut
MariaCabayubi
@MariaCabayubi
β@_lexiemichelee: @MariaCabayubi you know how slow I am Maria. But it looks really goodβhah I know this. But thank youuu
MissSharieff
@MissSharieff
we can be miles apart & no matter where you are, you're always in my heart.
SeaaJayyyy
@SeaaJayyyy
I wish they had a middle finger emoji
angiex830
@angiex830
Mauricio is like cracking up because of how jealous I am......
8.
9.
10.
11.
dannye27
@dannye27
I like how emoji has jdm symbol.
certifieddiva66
@certifieddiva66
#IGotaAThingFor D.L.A
morgan_dyson
@morgan_dyson
I'm obsessed with emoji!!
wallissxx
@wallissxx
Sooooo sleepy
