Idris Language (@idrislang) 's Twitter Profile
Idris Language

@idrislang

The Idris Programming Language. Tweets by @edwinbrady

ID: 838383085918044160

linkhttp://idris-lang.org calendar_today05-03-2017 13:37:58

34 Tweet

2,2K Takipçi

2 Takip Edilen