Upside of my old job: I worked with The Expert in Idris. Downside of my new job: I am an Idris Expert. #trainingwheelsareoff #nohands
-
-
Replying to @jfdm
Do you actually get to use Idris, or did it just spoil you for all real world programming?
1 reply 0 retweets 0 likes -
Replying to @andreasdotorg
For the moment, I get to use Idris. But I'm still in academia so I get to define my own 'real world'...
1 reply 0 retweets 1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.