다믜
@damhiya
Followers
122
Following
195
Media
23
Statuses
243
프로그래밍과 증명을 합니다. I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic.
서울
Joined November 2018
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
BECKY X MAYBELLINE LIVE
• 230469 Tweets
Northern Lights
• 211450 Tweets
オーロラ
• 170154 Tweets
#Auroraborealis
• 92475 Tweets
DeNA
• 61864 Tweets
#baystars
• 61443 Tweets
THE SIGN in MANILA
• 43046 Tweets
京王杯SC
• 22051 Tweets
Fulham
• 21610 Tweets
太陽フレアのせい
• 18177 Tweets
ベイスターズ
• 18129 Tweets
ハマスタ
• 17413 Tweets
バチコン
• 16802 Tweets
ウインマーベル
• 10671 Tweets
No tweets found